Ticket #53 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

Check for name shadowing in forall quantifiers.

Reported by: benl Owned by: erikd
Priority: blocker Milestone: 0.1.4
Component: Source Parser Version: 0.1.2
Keywords: Cc:

Description 

funTT	:: forall a a..  a -> a;

This got broken when we merged the source and core type representation.

Change History

Changed 4 years ago by benl

  • version set to 0.1.2

Changed 4 years ago by benl

  • component changed from Build System to Source Parser

Changed 4 years ago by erikd

  • owner set to erikd

Very near to a fix for this.

Changed 4 years ago by erikd

  • status changed from new to closed
  • resolution set to fixed

Fixed in the following two patches:

Mon Nov 9 17:43:32 EST 2009 Erik de Castro Lopo <erikd@…>

  • Add test/01-Error/10-Renamer/T53-CheckShadowForall/ .

Mon Nov 9 17:34:33 EST 2009 Erik de Castro Lopo <erikd@…>

  • Fix #53 : Add check for name shadowing in forall quantifiers.
Note: See TracTickets for help on using tickets.