diff options
| author | Eduardo Julian | 2018-06-15 00:11:33 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-06-15 00:11:33 -0400 |
| commit | bcd3d9ee8f6797f758a2abea98d5cb6a74cc7df0 (patch) | |
| tree | b122b9ecf2d5333ba97cffbadfeee00eba2e1cf8 /stdlib | |
| parent | 0190e084c6f44be32ea2bc5a89ef55b52bdc789b (diff) | |
- WIP: Adjustments to new-luxc based on recent changes to stdlib.
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/source/lux/lang/synthesis.lux | 12 | ||||
| -rw-r--r-- | stdlib/test/test/lux/lang/synthesis/function.lux | 3 |
2 files changed, 13 insertions, 2 deletions
diff --git a/stdlib/source/lux/lang/synthesis.lux b/stdlib/source/lux/lang/synthesis.lux index 779581cc4..cc43ea0b3 100644 --- a/stdlib/source/lux/lang/synthesis.lux +++ b/stdlib/source/lux/lang/synthesis.lux @@ -1,5 +1,5 @@ (.module: - [lux #- Scope] + [lux #- i64 Scope] (lux (control [monad #+ do]) (data [error #+ Error] (coll (dictionary ["dict" unordered #+ Dict])))) @@ -176,6 +176,16 @@ (do-template [<name> <tag>] [(template: #export (<name> content) + (#..Primitive (<tag> content)))] + + [bool #..Bool] + [i64 #..I64] + [f64 #..F64] + [text #..Text] + ) + +(do-template [<name> <tag>] + [(template: #export (<name> content) (<| #..Reference <tag> content))] diff --git a/stdlib/test/test/lux/lang/synthesis/function.lux b/stdlib/test/test/lux/lang/synthesis/function.lux index 65a4825e3..38a8dd8a2 100644 --- a/stdlib/test/test/lux/lang/synthesis/function.lux +++ b/stdlib/test/test/lux/lang/synthesis/function.lux @@ -99,7 +99,8 @@ (|> chosen (n/+ (dec arity)) #///reference.Local)]))))) (context: "Function definition." - (<| (times +100) + (<| (seed +13007429814532219492) + ## (times +100) (do @ [[arity//constant function//constant prediction//constant] constant-function [arity//environment function//environment prediction//environment] function-with-environment |