git.iko.soy/Idris-dev
on master help sign in
Allow partial show instances
293c8a2Edwin Brady
lib/Prelude.idr+1−1
compare with master
unifiedsplit
@@ -22,7 +22,7 @@ import Prelude.Chars
22-- Show and instances
22-- Show and instances
23
23
24class Show a where
24class Show a where
25− show : a -> String
25+ partial show : a -> String
26
26
27instance Show Int where
27instance Show Int where
28 show = prim__toStrInt
28 show = prim__toStrInt