git.iko.soy/elk
on master help sign in
Fix typo in exhaustiveness checks for three-tuples
3f5f808Evan Czaplicki
src/Nitpick/PatternMatches.hs+1−1
compare with master
unifiedsplit
@@ -135,7 +135,7 @@ triple :: Can.Union
135triple =
135triple =
136 let
136 let
137 ctor =
137 ctor =
138− Can.Ctor pairName Index.first 3 [Can.TVar "a", Can.TVar "b", Can.TVar "c"]
138+ Can.Ctor tripleName Index.first 3 [Can.TVar "a", Can.TVar "b", Can.TVar "c"]
139 in
139 in
140 Can.Union ["a","b","c"] [ ctor ] 1 Can.Normal
140 Can.Union ["a","b","c"] [ ctor ] 1 Can.Normal
141
141