So here's another in the "shap is sometimes an idiot" series - somebody
should be keeping score on these.
Turns out there is a really good reason that Haskell only does auto-semi
after certain keywords. Consider:
letExpr: LET { bindings } IN { ... }
The tip-off that a curly is coming has to be signalled to the lexer at the
processing of the IN keyword, either from the parser or from incestuous
knowledge within the lexer (doesn't matter which).
What this means for BitC is that we need some fixed token before the curly
brace. So either:
struct S('a)
blah
blah
or
struct S 'a is
blah
blah
or
struct S 'a =
but not:
struct S 'a
blah
blah
To which, I can't help but say: "blah!"
shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
