@@ -343,7 +343,11 @@ irTerm vs env tm@(App _ f a) = do
343 case compare (length args) arity of
343 case compare (length args) arity of
345 -- overapplied
345 -- overapplied
346− GT -> ifail ("overapplied data constructor: " ++ show tm)
346+ GT -> ifail ("overapplied data constructor: " ++ show tm ++
347+ "\nDEBUG INFO:\n" ++
348+ "Arity: " ++ show arity ++ "\n" ++
349+ "Arguments: " ++ show args ++ "\n" ++
350+ "Pruned arguments: " ++ show argsPruned)
348 -- exactly saturated
352 -- exactly saturated
349 EQ | isNewtype
353 EQ | isNewtype