-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Apr 28, 2009, at 01:24 , Scott Michel wrote:
I've been hacking along on a NetBeans Haskell plugin (*) Looking at
Parser.y.pp, because both Eclipse and NetBeans work with antlr, it
seems like there are interesting cases in which chimeric constructions
parse correctly. Here's an example:
class ParsedModule m where
let { a = 1; b = 2; } in a + b :: Int :: Int
This is mostly accepted by ghc, which complains with an invalid type
signature.
Looking at the Online Report, my guess is it parses as:
exp^0 = "let {a = 1; b = 2; } in a + b"
type = "Int :: Int"
and of course "Int :: Int" is an invalid type signature. (::) parses
as if it were a very low precedence operator.
- --
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [email protected]
system administrator [openafs,heimdal,too many hats] [email protected]
electrical and computer engineering, carnegie mellon university KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
iEYEARECAAYFAkn3Xg4ACgkQIn7hlCsL25XQpgCdFnKgoxE8DlJWMpLTabR6gkIW
tZIAnjnR8HheL8RtO87Z3ZteRqfHewUo
=eptK
-----END PGP SIGNATURE-----
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users