Add back Buildable instance for Const

2016-09-18 21:31:27 -07:00 · 2016-09-18 21:31:27 -07:00 · afa3844699
commit afa3844699
parent d36eabb0af
1 changed files with 3 additions and 0 deletions
--- a/src/Dhall/Core.hs
+++ b/src/Dhall/Core.hs
@ -87,6 +87,9 @@ import qualified NeatInterpolation
 -}
 data Const = Type | Kind deriving (Show, Bounded, Enum)

+instance Buildable Const where
+    build = buildConst
+
 axiom :: Const -> Either TypeError Const
 axiom Type = return Kind
 axiom Kind = Left (TypeError Context.empty (Const Kind) (Untyped Kind))