Allow partial show instances
commit293c8a237e165bfd17f466641b78479349c9ba59
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 16 Jul 2013, 15:11 (13 years ago)
parent0c1deaf
lib/Prelude.idr+1−1
@@ -22,7 +22,7 @@ import Prelude.Chars
2222-- Show and instances
2323
2424class Show a where
25− show : a -> String
25+ partial show : a -> String
2626
2727instance Show Int where
2828 show = prim__toStrInt