Am Freitag 18 September 2009 02:17:22 schrieb xu zhang:
> showMinProp :: Int -> Prop -> String
> showMinProp preNo (BinOp op p q) =
> case op of
> And -> let a = 4
> Or -> let a = 3
> Implies -> let a = 2
> Equiv -> let a = 1
> if (a > preNo)
> then (showMinProp a p ++ space (showOp op) ++ showMinProp a q)
> else paren (showMinProp a p ++ space (showOp op) ++ showMinProp a q))
showMinProp preNo (BinOp op p q) =
let a = case op of
And -> 4
...
in if a > preNo
then (...) else (...)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
