diff options
Diffstat (limited to '')
| -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 |