Opened 4 years ago

Last modified 19 months ago

#4281 new task

Make impredicativity work properly

Reported by: simonpj Owned by: simonpj
Priority: low Milestone: 7.6.2
Component: Compiler Version: 6.12.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

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 (3)

comment:1 Changed 4 years ago by igloo

  • Milestone set to 7.2.1

comment:2 Changed 2 years ago by igloo

  • Milestone changed from 7.4.1 to 7.6.1
  • Priority changed from normal to low

comment:3 Changed 19 months ago by igloo

  • Milestone changed from 7.6.1 to 7.6.2
Note: See TracTickets for help on using tickets.