diff options
| author | Tim Chevalier <[email protected]> | 2011-05-02 14:28:35 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:26:07 -0700 |
| commit | 3060eadcbabba50fd6a5d633fea710b6b6bed614 (patch) | |
| tree | 600e724e9e29f38bddd2861c006f4da49e7fa2ee /src/comp/front/parser.rs | |
| parent | Change checks to asserts in test/bench files (diff) | |
| download | rust-3060eadcbabba50fd6a5d633fea710b6b6bed614.tar.xz rust-3060eadcbabba50fd6a5d633fea710b6b6bed614.zip | |
Check well-formedness of constraints
Check that the operand in a constraint is an explicit name,
and that the operands are all local variables or literals. Still need
to check that the name refers to a pure function.
Diffstat (limited to 'src/comp/front/parser.rs')
0 files changed, 0 insertions, 0 deletions