diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-26 00:04:14 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-26 00:04:14 +0200 |
| commit | af51ad3cdce90ac6afe4727c8713426624ebaecd (patch) | |
| tree | f9cf215d8737c2fda66f94dd46f195a809865433 /src/Language.hs | |
| parent | 6a0381f9c6cfc56ac805801bf4cefda8305ff055 (diff) | |
Debugging
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) |