Add Inject instance for Int (#99)

2017-08-20 20:24:24 +03:00 · 2017-08-20 20:24:24 +03:00 · 2a186dcabb
commit 2a186dcabb
parent 4e881450a0
1 changed files with 8 additions and 0 deletions
--- a/src/Dhall.hs
+++ b/src/Dhall.hs
@ -698,6 +698,14 @@ instance Inject Integer where

        declared = Integer

+instance Inject Int where
+    injectWith _ = InputType {..}
+      where
+        embed = IntegerLit . toInteger
+
+        declared = Integer
+
+
 instance Inject Double where
    injectWith _ = InputType {..}
      where