Merge pull request #1392 from ziman/fix-dctor-erasure
Fix erasure from data constructors
commit228877a62b3daa383a3693b52f6eb10cf89409fd
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 15 Jul 2014, 18:17 (12 years ago)
parent25de16d4ca8e46
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)