Concurrent Clean : Re: PassFail
[id:lethevert:20070904:p2]の件だけれど、パターンマッチでマクロを定数として扱えることに気づいた。
:: PassFail f p = Pass !p | Fail !f :: Void = Void PassV :== Pass Void f b = if b PassV (Fail "Fail") g PassV = True g (Fail _) = False
なので、返値がない場合は、これを使えばよい。