@@ -297,7 +297,7 @@ irTerm vs env tm@(App f a) = case unApply tm of
297 -- hence it takes a lambda: \unerased_argname_list -> resulting_LExp.
297 -- hence it takes a lambda: \unerased_argname_list -> resulting_LExp.
298 let padLams = padLambdas used (length args) arity
298 let padLams = padLambdas used (length args) arity
300− case compare arity (length args) of
300+ case compare (length args) arity of
302 -- overapplied
302 -- overapplied
303 GT -> ifail ("overapplied data constructor: " ++ show tm)
303 GT -> ifail ("overapplied data constructor: " ++ show tm)