carp-lang/Carp
1
1
Fork 0
mirror of https://github.com/carp-lang/Carp.git synced 2024-11-05 04:44:12 +03:00
Code Issues Projects Releases Wiki Activity

Revert debugging change in TypeError

Browse Source
This commit is contained in:
Scott Olsen 2020-05-05 22:40:37 -04:00
parent fc045f6957
commit deb1ecd51a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/TypeError.hs
View File

@ -218,7 +218,7 @@ instance Show TypeError where
".\n\nSumtype cases look like this: `(Foo [Int typevar])`"
show (InvalidMemberType t xobj) =
"I can’t use the type `" ++ show t ++ "` as a member type at " ++
pretty xobj ++
prettyInfoFromXObj xobj ++
".\n\nIs it defined and captured in the head of the type definition?"
show (InvalidMemberTypeWhenConcretizing t xobj err) =
"I can’t use the concrete type `" ++ show t ++ "` at " ++ prettyInfoFromXObj xobj ++ ": " ++ show err