Opened 5 years ago

Closed 3 years ago

#317 closed task (invalid)

Lock down how the Void# type can be used.

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Core Type Checker Version: 0.3.2
Keywords: Cc:

Description

Check that its values can't be passed around, used as an index to other types etc.

Change History (3)

comment:1 Changed 5 years ago by benl

  • Milestone changed from 0.4.1 to 0.4.2

comment:2 Changed 3 years ago by benl

  • Milestone changed from 0.4.2 to 0.4.3

comment:3 Changed 3 years ago by benl

  • Resolution set to invalid
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.