bug in ghc with {| |}

Simon Peyton-Jones simonpj@microsoft.com
Fri, 10 May 2002 06:46:25 -0700


Good point.  That was going to be the syntax for type application, but
it's not straightforward (e.g. what are the order of the type params?)
so I never finished it.  I'll remove it from the parser for now.

Simon

| -----Original Message-----
| From: Hal Daume III [mailto:hdaume@ISI.EDU]=20
| Sent: 07 May 2002 20:19
| To: GHC Users Mailing List
| Subject: bug in ghc with {| |}
|=20
|=20
| in ghci:
|=20
| NLP.Clustering> let x =3D 5x {| Int |}
| *** Exception: typecheck/TcExpr.lhs:168: Non-exhaustive=20
| patterns in function tcMonoExpr
|=20
|=20
| i have no idea what {| and |} do, but i was messing around=20
| with them and typed this in by accident and it raised an=20
| exception.  fyi.
|=20
| --
| Hal Daume III
|=20
|  "Computer science is no more about computers    | hdaume@isi.edu
|   than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
|=20
| _______________________________________________
| Glasgow-haskell-users mailing list=20
| Glasgow-haskell-users@haskell.org=20
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users
|=20