5144: Pattern synonyms -- help needed to sort out exports

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

5144: Pattern synonyms -- help needed to sort out exports

Dr. ERDI Gergo

Last week, I started implementing
http://ghc.haskell.org/trac/ghc/ticket/5144 "Pattern synonyms". I'm using
http://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms for the details, and
so far I have "pattern-only synonyms" working, with most of the
infrastructure also laid down for the "simple pattern synonyms". My work
is avalable at https://github.com/gergoerdi/ghc.git in the
pattern-synonyms branch. My plan is to get the simple pattern synonyms
stuff working as well, and then submit it as a first cut.

Before I formally submit my patches for review to this mailing list,
though, there is one thing that's got me stumped: allowing pattern
synonyms to be exported. I thought it would just work if I make sure the
pattern synonym names (which are Conids) end up in the tcg_exports field
of the TcGblEnv. However, this is not the case. Could someone point me in
the right direction please on how to make these new declarations



   .--= ULLA! =-----------------.
    \     http://gergo.erdi.hu   \
     `---= gergo at erdi.hu =-------'
All C programs are derived from `Hello World'.