MigMit:~ MigMit$ ghci
GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help
Loading package base ... linking ... done.
Prelude> let {(¬) :: Bool -> Bool; (¬) = not}
Prelude> (¬) True
False
On 22 Jan 2008, at 09:03, Cetin Sert wrote:
(¬) :: 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
