Opened 6 years ago

Closed 5 years ago

Last modified 5 years ago

#269 closed refactor (fixed)

Refactor DataModeSmall to hold DaCons instead of names.

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

Description

The Unit type is a small type, but there is no name for it. This makes checking for exhaustive matches a bit awkward.

Change History (2)

comment:1 Changed 5 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed

Already done during previous refactoring.

comment:2 Changed 5 years ago by benl

  • Milestone 0.4.0 deleted

Milestone 0.4.0 deleted

Note: See TracTickets for help on using tickets.