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
>
>
>
> http://www.corsis.de
>
> _______________________________________________
> Haskell-Cafe mailing list
> [email protected]
> http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Tristan Allwood
PhD Student
Department of Computing
Imperial College London
{-# OPTIONS_GHC -fglasgow-exts #-}
( ¬ ) :: Bool → Bool
( ¬ ) = not
(˅) :: Bool → Bool → Bool
(˅) = (||)
(˄) :: Bool → Bool → Bool
(˄) = (&&)
(↔) :: Bool → Bool → Bool
(↔) = (==)
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
