Hi, Attached works fine for me (ghc 6.8.2) You'll have trouble with → though, as ghc steals that symbol for type signature declarations. A ghc expert could probably shed more light; Cheers, Tris GHCi also doesn't (at least for me) print symbol names correctly, but that's a different issue.
ghci Bloop.hs GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. [1 of 1] Compiling Main ( Bloop.hs, interpreted ) Ok, modules loaded: Main. *Main> :browse (�) :: Bool -> Bool (� :: Bool -> Bool -> Bool (� :: Bool -> Bool -> Bool (�) :: Bool -> Bool -> Bool *Main> False ˅ True True
On Wed, Jan 09, 2008 at 06:17:13PM +0100, Cetin Sert wrote:
I want to design a DSL in Haskell for propositional calculus. But instead of using natural language names for functions like or, and, implies etc. I want to use Unicode symbols as infix functions ¬, ˅, ˄, →, ↔ But I keep getting error messages from the GHC parser. Is there a way to make GHC parse my source files correctly? If it is not possible yet, please consider this as a “feature request”.
Best Regards,
Cetin Sert
INF 521, 4-6-2
69120 Heidelberg
Germany
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Tristan Allwood PhD Student Department of Computing Imperial College London