diff options
| author | Eduardo Julian | 2017-05-31 21:35:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-31 21:35:39 -0400 |
| commit | aa3dcb411db1bfbf41ca59c334c6c792b9e40d0c (patch) | |
| tree | 0095015807b18d65e9938cf9db686d8f29d87afb /new-luxc/test/test/luxc/analyser/procedure/common.lux | |
| parent | b73f1c909d19d5492d6d9a7dc707a3b817c73619 (diff) | |
- Implemented some synthesis algorithms and tests for primitives, structures, procedures and function application.
- Some refactoring.
Diffstat (limited to 'new-luxc/test/test/luxc/analyser/procedure/common.lux')
| -rw-r--r-- | new-luxc/test/test/luxc/analyser/procedure/common.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/test/test/luxc/analyser/procedure/common.lux b/new-luxc/test/test/luxc/analyser/procedure/common.lux index 14edcf516..dc4459734 100644 --- a/new-luxc/test/test/luxc/analyser/procedure/common.lux +++ b/new-luxc/test/test/luxc/analyser/procedure/common.lux @@ -39,8 +39,8 @@ ) (test: "Lux procedures" - [[primT primC] gen-simple-primitive - [antiT antiC] (|> gen-simple-primitive + [[primT primC] gen-primitive + [antiT antiC] (|> gen-primitive (r;filter (|>. product;left (Type/= primT) not)))] ($_ seq (assert "Can test for reference equality." @@ -232,7 +232,7 @@ )) (test: "Array procedures" - [[elemT elemC] gen-simple-primitive + [[elemT elemC] gen-primitive sizeC (|> r;nat (:: @ map code;nat)) idxC (|> r;nat (:: @ map code;nat)) var-name (r;text +5) @@ -328,7 +328,7 @@ <binary>))) (test: "Atom procedures" - [[elemT elemC] gen-simple-primitive + [[elemT elemC] gen-primitive sizeC (|> r;nat (:: @ map code;nat)) idxC (|> r;nat (:: @ map code;nat)) var-name (r;text +5) @@ -365,7 +365,7 @@ )) (test: "Process procedures" - [[primT primC] gen-simple-primitive + [[primT primC] gen-primitive timeC (|> r;nat (:: @ map code;nat))] ($_ seq (assert "Can query the level of concurrency." |