Opened 6 years ago

Last modified 13 months ago

#4281 new task

Make impredicativity work properly

Reported by: simonpj Owned by: simonpj
Priority: low Milestone:
Component: Compiler Version: 6.12.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

This ticket is a placeholder for work on impredicativity. In fact, with the new typechecker we have most of the story for impredicativity in place, in the style of QML. Still missing are:

  • Rigid type signatures
  • Notation for type application

Change History (7)

comment:1 Changed 6 years ago by igloo

Milestone: 7.2.1

comment:2 Changed 5 years ago by igloo

Milestone: 7.4.17.6.1
Priority: normallow

comment:3 Changed 4 years ago by igloo

Milestone: 7.6.17.6.2

comment:4 Changed 3 years ago by thoughtpolice

Milestone: 7.6.27.10.1

Moving to 7.10.1.

comment:5 Changed 2 years ago by thoughtpolice

Milestone: 7.10.17.12.1

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

comment:6 Changed 18 months ago by thoughtpolice

Milestone: 7.12.18.0.1

Milestone renamed

comment:7 Changed 13 months ago by thomie

Milestone: 8.0.1
Note: See TracTickets for help on using tickets.