on master help sign in
Fix data ctor arity comparison.
commit4ca8e46ce362ab8bcc097f47b2979a02b2eb3d7f authorMatus Tejiscak <ziman@functor.sk> dateFri 11 Jul 2014, 15:07 (12 years ago) parentadb59d0
1 file changed+1−1
src/IRTS/Compiler.hs+1−1
src/IRTS/Compiler.hs+1−1
@@ -297,7 +297,7 @@ irTerm vs env tm@(App f a) = case unApply tm of
297297 -- hence it takes a lambda: \unerased_argname_list -> resulting_LExp.
298298 let padLams = padLambdas used (length args) arity
299299
300− case compare arity (length args) of
300+ case compare (length args) arity of
301301
302302 -- overapplied
303303 GT -> ifail ("overapplied data constructor: " ++ show tm)