on master help sign in
Add ErrorHandler Binary instance
commit357cd83760c22cda7994c54e6decc1268c21c773 authorDavid Christiansen <david@davidchristiansen.dk> dateThu 14 Nov 2013, 16:47 (13 years ago) parent1203cb9
1 file changed+2
src/Idris/IBC.hs+2
src/Idris/IBC.hs+2
@@ -944,6 +944,7 @@ instance Binary FnOpt where
944944 PartialFn -> putWord8 6
945945 Implicit -> putWord8 7
946946 Reflection -> putWord8 8
947+ ErrorHandler -> putWord8 9
947948 get
948949 = do i <- getWord8
949950 case i of
@@ -957,6 +958,7 @@ instance Binary FnOpt where
957958 6 -> return PartialFn
958959 7 -> return Implicit
959960 8 -> return Reflection
961+ 9 -> return ErrorHandler
960962 _ -> error "Corrupted binary data for FnOpt"
961963
962964instance Binary Fixity where