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