diff options
| author | Kathy Gray | 2014-03-27 14:20:51 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-27 14:20:51 +0000 |
| commit | 70d8fd00c326f928bf0300b006b2c3a79d09cd10 (patch) | |
| tree | f781fee882027302bd3368ddd33e13826769b310 /src/test/test1.sail | |
| parent | 9549b13972f5c3173bc7d11ea1b62b490f673166 (diff) | |
Check simple constraints (i.e. ones using only constants).
Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before.
Diffstat (limited to 'src/test/test1.sail')
| -rw-r--r-- | src/test/test1.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index 0050a257..64722089 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -2,8 +2,8 @@ default Nat 'i default Order 'o default bool b default forall 'a. list<'a> b -val forall 'a, 'b . ('a * 'b) -> 'b effect pure snd -val forall Type 'i, 'b. ('i * 'b) -> 'i effect pure fst +val forall 'a, 'b . ('a, 'b) -> 'b effect pure snd +val forall Type 'i, 'b. ('i, 'b) -> 'i effect pure fst typedef int_list [name = "il"] = list<nat> typedef reco = const struct forall 'i, 'a, 'b. { 'a['i] v; 'b w; } typedef maybe = const union forall 'a. { Nne; 'a Sme; } @@ -23,10 +23,10 @@ function unit ignore(x) = () scattered typedef ast = const union scattered function ast f -union ast member bit * bit * bit A +union ast member (bit, bit, bit) A function clause f ( A (a,b,c) ) = C(a) -union ast member bit * bit B +union ast member (bit, bit) B function clause f ( B (a,b) ) = C(a) union ast member bit C |