[Haskell-cafe] Syntactic extensions

[Bernard James POPE]

> Hello,
> 
> I am using the haskell-src bundle to implement a preprocessor for some 
> syntactic extensions to haskell. This is all fine and well, but I find 
> myself also wanting the preprocessor to let through some already existing 
> extensions, namely:
> * implicit parameters
> * pattern guards
> * multi-parameter type classes with functional dependencies
> * possibly template haskell
> 
> The haskell-src bundle already has support for mptcs (without fundeps), and 
> pattern guards are rather straight-forward, but for the rest;
> Where can I find formal specifications of these extensions in terms of 
> added/changed syntax?

Perhaps you've already looked, but if not, one possible source is
the Happy grammar that GHC uses, in ghc/compiler/parser.y, 
or even the Hugs Yacc grammar, in src/parser.y

Its probably not exactly what you want though...

If you either find something or implement it yourself please let me know.

Cheers,
Bernie.