@edwinbrady In @idrislang, did I miss something, or can't we pattern-match Nat on precise value? ie.:
foo : Nat -> Bool
foo 42 = True
foo _ = False
Type mismatch between
Integer (Type of 42)
and
Nat (Expected type)
-
-
I use decEq and with clauses as a workaround, but it's painful when you need to check several values.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.