Ticket #25 (new bug report)

Opened 8 years ago

Last modified 7 years ago

No support for restricted type synonyms

Reported by: nibro Owned by: nibro
Priority: minor Milestone: Blue Sky
Component: parser Version: 1.9.x
Keywords: Cc:


Hugs has an extension that lets a programmer restrict the scope of a defined type synonym. This is rather useless since the module system does it a lot better.

type Table a b = [(a,b)] in
    empty :: Table a b,
    isEmpty :: Table a b -> Bool,
    add :: a -> b -> Table a b -> Table a b,
    search :: a -> Table a b -> Maybe b

empty = []
isEmpty = null
add a b t = (a,b):t
search = lookup

Still, it's a registered extension and HSE should be able to support it without too much hassle.


Change History

Changed 8 years ago by nibro

  • priority changed from major to minor

Changed 8 years ago by nibro

  • version set to 1.0.0
  • milestone changed from Full code support to Blue Sky

Some day...

Changed 7 years ago by nibro

  • version changed from 1.0.0 to 1.9.x
Note: See TracTickets for help on using tickets.