Opened 2 years ago

Last modified 17 months ago

#416 new bug

Data type decls are not checked that all tyvars in result type of ctors appear as params.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Typing Version: 0.4.2
Keywords: Cc:

Description

Example in SMR.Source.Expected. Removing some of the tyvars from the result types causes problems.

Change History (3)

comment:1 Changed 17 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:2 Changed 17 months ago by benl

  • Milestone none deleted

Milestone deleted

comment:3 Changed 17 months ago by benl

  • Type changed from defect to bug
Note: See TracTickets for help on using tickets.