Opened 2 years ago

Last modified 20 months ago

#438 new bug

Type checker instantiation judgement assumes all tycon params are covariant.

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

Description

In InstLTApp and InstRTApp, we don't have the real variance information so assume all parameters are covariant.

Change History (3)

comment:1 Changed 20 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:2 Changed 20 months ago by benl

  • Milestone none deleted

Milestone deleted

comment:3 Changed 20 months ago by benl

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