[Haskell-cafe] non-alphabetical mathematical symbols as non-infix function names

Cetin Sert cetin.sert at gmail.com
Tue Jan 22 01:03:37 EST 2008


(¬) :: Bool → Bool
(¬) q = not q

q = True
¬ q : parser error on input
q ¬ : parser error (possibly incorrect indentation)
(¬ q) : Couldn't match expected type `Bool -> t' against inferred type
`Bool' In the expression: (� True) In the definition of `it': it = (� True)
*
(q ¬) : False

(Why) is it not possible to define a (non-infix) function whose name
consists of a single non-alphabetical mathematical symbol?

¬ :: Bool → Bool -- parser error on input **
¬ q = not q -- parser error on input **

Cetin Sert
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080122/53b57437/attachment-0001.htm


More information about the Haskell-Cafe mailing list