diff options
author | Nadrieril | 2019-12-23 21:59:47 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-23 21:59:47 +0000 |
commit | 0e928ebde4ab8b662499eb716f366b97479c75fc (patch) | |
tree | 80e836e2a76ed70718ee31ab01e95b67fc59f248 /dhall/src/semantics/phase/typecheck.rs | |
parent | cb2097ed82c7aa23f555cb27a7e27a32863de09a (diff) |
Add two new Integer builtins
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/phase/typecheck.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/semantics/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs index c9834e1..7ea4951 100644 --- a/dhall/src/semantics/phase/typecheck.rs +++ b/dhall/src/semantics/phase/typecheck.rs @@ -235,6 +235,9 @@ fn type_of_builtin<E>(b: Builtin) -> Expr<E> { IntegerToDouble => make_type!(Integer -> Double), IntegerShow => make_type!(Integer -> Text), + IntegerNegate => make_type!(Integer -> Integer), + IntegerClamp => make_type!(Integer -> Natural), + DoubleShow => make_type!(Double -> Text), TextShow => make_type!(Text -> Text), |