git.iko.soy/Idris-dev
on master help sign in
Fix comment syntax for highlighting
1203cb9David Christiansen
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -624,7 +624,7 @@ instance Binary NameType where
624 _ -> error "Corrupted binary data for NameType"
624 _ -> error "Corrupted binary data for NameType"
625
625
626
626
627−instance {-(Binary n) =>-} Binary (TT Name) where
627+instance {- (Binary n) => -} Binary (TT Name) where
628 put x
628 put x
629 = {-# SCC "putTT" #-}
629 = {-# SCC "putTT" #-}
630 case x of
630 case x of