on master help sign in
Add ErrorHandler Binary instance
commita32d59c03f1d5ba36471eb5b032b9684a0485713 authorDavid Christiansen <david@davidchristiansen.dk> dateThu 14 Nov 2013, 16:47 (13 years ago) parenta0d6d18
1 file changed+2
src/Idris/IBC.hs+2
src/Idris/IBC.hs+2
@@ -999,6 +999,7 @@ instance Binary FnOpt where
999999 PartialFn -> putWord8 6
10001000 Implicit -> putWord8 7
10011001 Reflection -> putWord8 8
1002+ ErrorHandler -> putWord8 9
10021003 get
10031004 = do i <- getWord8
10041005 case i of
@@ -1012,6 +1013,7 @@ instance Binary FnOpt where
10121013 6 -> return PartialFn
10131014 7 -> return Implicit
10141015 8 -> return Reflection
1016+ 9 -> return ErrorHandler
10151017 _ -> error "Corrupted binary data for FnOpt"
10161018
10171019instance Binary Fixity where