@@ -252,7 +252,7 @@ data Phase = CompileTime | RunTime
253simpleCase :: Bool -> SC -> Bool ->
253simpleCase :: Bool -> SC -> Bool ->
254 Phase -> FC -> [Int] ->
254 Phase -> FC -> [Int] ->
255− [(Type, Bool)] -> -- ^ (Argument type, whether it's canonical)
255+ [(Type, Bool)] -> -- (Argument type, whether it's canonical)
256 [([Name], Term, Term)] ->
256 [([Name], Term, Term)] ->
257 ErasureInfo ->
257 ErasureInfo ->
258 TC CaseDef
258 TC CaseDef