git.iko.soy/elk
on master help sign in
Get rid of unused type error case
5ba597fEvan Czaplicki
src/Reporting/Error/Type.hs−1
compare with master
unifiedsplit
@@ -12,7 +12,6 @@ data Error
12 = Mismatch Mismatch
12 = Mismatch Mismatch
13 | InfiniteType R.Region
13 | InfiniteType R.Region
14 | BadMain T.Canonical
14 | BadMain T.Canonical
15− | ProblemWithInferenceAlgorithm String
16
15
17
16
18data Mismatch = MismatchInfo
17data Mismatch = MismatchInfo