diff options
Diffstat (limited to 'src/Language.hs')
| -rw-r--r-- | src/Language.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Language.hs b/src/Language.hs index a025236..3a4a36c 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -126,5 +126,7 @@ not_ = oper ONot -- | The "_" variables in scope are unusable and should be ignored. With a -- weakening function on NExprs they could be hidden. +-- +-- The first alternative is the True case; the second is the False case. if_ :: NExpr env (TScal TBool) -> NExpr ('("_", TNil) : env) t -> NExpr ('("_", TNil) : env) t -> NExpr env t if_ e a b = case_ (oper OIf e) (#_ :-> a) (#_ :-> b) |