on master help sign in
Add ErrorHandler Binary instance
357cd83David Christiansen
src/Idris/IBC.hs+2
@@ -944,6 +944,7 @@ instance Binary FnOpt where
944 PartialFn -> putWord8 6
944 PartialFn -> putWord8 6
945 Implicit -> putWord8 7
945 Implicit -> putWord8 7
946 Reflection -> putWord8 8
946 Reflection -> putWord8 8
947+ ErrorHandler -> putWord8 9
947 get
948 get
948 = do i <- getWord8
949 = do i <- getWord8
949 case i of
950 case i of
@@ -957,6 +958,7 @@ instance Binary FnOpt where
957 6 -> return PartialFn
958 6 -> return PartialFn
958 7 -> return Implicit
959 7 -> return Implicit
959 8 -> return Reflection
960 8 -> return Reflection
961+ 9 -> return ErrorHandler
960 _ -> error "Corrupted binary data for FnOpt"
962 _ -> error "Corrupted binary data for FnOpt"
961
963
962instance Binary Fixity where
964instance Binary Fixity where