git.iko.soy/Idris-dev
on master help sign in
Fix comment syntax for highlighting
a0d6d18David Christiansen
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -643,7 +643,7 @@ instance Binary NameType where
643 _ -> error "Corrupted binary data for NameType"
643 _ -> error "Corrupted binary data for NameType"
644
644
645
645
646−instance {-(Binary n) =>-} Binary (TT Name) where
646+instance {- (Binary n) => -} Binary (TT Name) where
647 put x
647 put x
648 = {-# SCC "putTT" #-}
648 = {-# SCC "putTT" #-}
649 case x of
649 case x of