> 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. _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
