git.iko.soy/Idris-dev
on master help sign in
Make believe_me abstract
1a86305Edwin Brady
lib/Builtins.idr+1
compare with master
unifiedsplit
@@ -31,6 +31,7 @@ malloc size x = x -- compiled specially
31trace_malloc : a -> a
31trace_malloc : a -> a
32trace_malloc x = x -- compiled specially
32trace_malloc x = x -- compiled specially
33
33
34+abstract
34believe_me : a -> b -- compiled specially as id, use with care!
35believe_me : a -> b -- compiled specially as id, use with care!
35believe_me x = prim__believe_me _ _ x
36believe_me x = prim__believe_me _ _ x
36
37
src/Idris/Delaborate.hs+1−1
@@ -85,7 +85,7 @@ pshow i (CantUnify _ x y e sc s)
85 _ -> "\n\nSpecifically:\n\t" ++ pshow i e ++
85 _ -> "\n\nSpecifically:\n\t" ++ pshow i e ++
86 if (opt_errContext (idris_options i)) then showSc i sc else ""
86 if (opt_errContext (idris_options i)) then showSc i sc else ""
87pshow i (CantConvert x y env)
87pshow i (CantConvert x y env)
88− = "Can't unify " ++ show (delab i x) ++ " with " ++ show (delab i y) ++
88+ = "Can't convert " ++ show (delab i x) ++ " with " ++ show (delab i y) ++
89 if (opt_errContext (idris_options i)) then showSc i env else ""
89 if (opt_errContext (idris_options i)) then showSc i env else ""
90pshow i (InfiniteUnify x tm env)
90pshow i (InfiniteUnify x tm env)
91 = "Unifying " ++ showbasic x ++ " and " ++ show (delab i tm) ++
91 = "Unifying " ++ showbasic x ++ " and " ++ show (delab i tm) ++