diff options
Diffstat (limited to 'stdlib/source/lux.lux')
-rw-r--r-- | stdlib/source/lux.lux | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index cf5707996..e4214a899 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -2608,6 +2608,9 @@ #Nil))))] (` ("lux in-module" (~ (text$ module)) (~ (walk-type type')))) + [_ (#Form (#Cons [_ (#Symbol ["" "~"])] (#Cons expression #Nil)))] + expression + [_ (#Form (#Cons type-fn args))] (list/fold ("lux check" (-> Code Code Code) (function' [arg type-fn] (` (#.Apply (~ arg) (~ type-fn))))) |