rewrite rules, forall, no -fglasgow-exts
Using rewrite rules without specifying -fglasgow-exts
results in (e.g.) the following error message:
SList.hs:59: parse error on input `.'
i.e. the . in "forall vars . rule".
Manuel (chak@cse.unsw.edu.au) tells me this is a
parsing problem.Trac metadata
| Trac field | Value |
|---|---|
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | Compiler (Parser) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information