Ticket #21 (new enhancement)
Add some way to refer explicitly to either a type/class constructor or a data constructor
| Reported by: | waern | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Version: | 0.x | Keywords: | |
| Cc: |
Description
There's no way to refer explicitly to either a type/class constructor or data constructor when there are more than one of these with the same name. Perhaps introduce a special syntax for them? (eg. ':C' means data constructor C?)
Change History
Note: See
TracTickets for help on using
tickets.
