Re: Discrepancy

1997-04-30 Thread John C. Peterson
This is definitely a bug in the syntax of Haskell. I don't see any simple fix to the grammar except to change var to qvar in pat and apat. This probably isn't a good idea since it would allow local variables whihc shadow qualified imports or some such. We could add a line saying `qualifiers

Discrepancy

1997-04-30 Thread Ralf Hinze
Dear all, I stumbled across a subtle discrepancy between Hugs and GHC. After some thought I decided that the Glasgow Haskell Compiler is `buggy'. However, since the Report is not explicit about this issue (at least I did not find a clue) the case is probably not settled. Assume we have the

Re: Discrepancy

1997-04-30 Thread Simon L Peyton Jones
| Hugs is perfectly happy with this. ghc, however, complains that `empty' | ist not in scope, which is in accordance with the rule (p. 58) saying | that `the names brought into scope must be prefixed by the name of the | imported module'. Hence I am forced to write: Good point! The report is