Commit 482a99a2 authored by Juan Pablo Garcia Garland's avatar Juan Pablo Garcia Garland
Browse files

undo trace fix, it breaks some errors :(

parent 53809a74
......@@ -155,10 +155,11 @@ data OpError (m :: ErrorMessage) :: Type where {}
-- | Failing and printing of an |OpError| requirement.
instance (TypeError
(Text "Error: " :<>: m :$$:
If (ShowCTX ctx == Text "")
(Text "")
(Text "trace: " :<>: ShowCTX ctx)))
(Text "trace: " :<>: ShowCTX ctx))
-- (Text "Error: " :<>: m :$$:
-- If (ShowCTX ctx == Text "")
-- (Text "")
-- (Text "trace: " :<>: ShowCTX ctx)))
=>
Require (OpError m) ctx where
type ReqR (OpError m) = ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment