diff options
Diffstat (limited to '')
| -rw-r--r-- | src/lux/analyser.clj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lux/analyser.clj b/src/lux/analyser.clj index d6cc5cfda..2ad3745d8 100644 --- a/src/lux/analyser.clj +++ b/src/lux/analyser.clj @@ -71,6 +71,10 @@ (|do [_ (&type/check exo-type &type/Bool)] (return (&/|list (&&/|meta exo-type cursor (&&/$bool ?value))))) + (&/$NatS ?value) + (|do [_ (&type/check exo-type &type/Nat)] + (return (&/|list (&&/|meta exo-type cursor (&&/$nat ?value))))) + (&/$IntS ?value) (|do [_ (&type/check exo-type &type/Int)] (return (&/|list (&&/|meta exo-type cursor (&&/$int ?value))))) |