Commit 31a3dd9c authored by Danya Rogozin's avatar Danya Rogozin
Browse files

add TypeLitChar

parent f9b1c92a
......@@ -960,11 +960,13 @@ instance Binary KindRep where
instance Binary TypeLitSort where
put TypeLitSymbol = putWord8 0
put TypeLitNat = putWord8 1
put TypeLitChar = putWord8 2
get = do
tag <- getWord8
case tag of
0 -> pure TypeLitSymbol
1 -> pure TypeLitNat
2 -> pure TypeLitChar
_ -> fail "GHCi.TH.Binary.putTypeLitSort: invalid tag"
putTypeRep :: TypeRep a -> Put
......@@ -1044,4 +1046,3 @@ instance Binary SomeTypeRep where
put (SomeTypeRep rep) = putTypeRep rep
get = getSomeTypeRep
#endif
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment