Opened 8 years ago

Closed 6 years ago

#217 closed defect (wontfix)

PANIC in DDC.Core.Lint.Env : withVarType: type for a.list already present

Reported by: erikd Owned by:
Priority: normal Milestone: 0.3.0
Component: Source to Core Translation Version: 0.1.2
Keywords: Cc:

Description

Simplified code:

testFunc :: [Int] -> [Int]
testFunc list
 = do	sorted = False
	list = map (1 +) list
	if sorted
	  then list
	  else testFunc list


main ()
 = println $ show $ testFunc [1 .. 4]

results in:

ddc: PANIC in DDC.Core.Lint.Env
 withVarType: type for a.list already present

Ben says that the variable list is bound twice, once as an argument and once in the bindings. This is a renamer bug.

Change History (2)

comment:1 Changed 7 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

comment:2 Changed 6 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to wontfix
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.