Opened 11 years ago

Closed 10 years ago

Last modified 8 years ago

#53 closed defect (fixed)

Check for name shadowing in forall quantifiers.

Reported by: benl Owned by: erikd
Priority: blocker Milestone:
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 (5)

comment:1 Changed 11 years ago by benl

  • Version set to 0.1.2

comment:2 Changed 11 years ago by benl

  • Component changed from Build System to Source Parser

comment:3 Changed 10 years ago by erikd

  • Owner set to erikd

Very near to a fix for this.

comment:4 Changed 10 years ago by erikd

  • Resolution set to fixed
  • Status changed from new to closed

Fixed in the following two patches:

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

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

  • Fix #53 : Add check for name shadowing in forall quantifiers.

comment:5 Changed 8 years ago by benl

  • Milestone 0.1.4 deleted

Milestone 0.1.4 deleted

Note: See TracTickets for help on using tickets.