diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-16 23:21:55 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-16 23:21:55 +0200 |
| commit | 2b1a40b5933b8b0dceaae744e5b70cb604822c9d (patch) | |
| tree | 652d6d88efd2b0b4502819297333305cec5242c4 /src/Language/AST.hs | |
| parent | eed0f2999d6f6c8485ef53deb38f9d0a67b4f88e (diff) | |
CHAD.hs compiles
Diffstat (limited to 'src/Language/AST.hs')
| -rw-r--r-- | src/Language/AST.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Language/AST.hs b/src/Language/AST.hs index 7e074df..92792b3 100644 --- a/src/Language/AST.hs +++ b/src/Language/AST.hs @@ -76,7 +76,7 @@ data NExpr env t where -- accumulation effect on monoids NEWith :: SMTy t -> NExpr env t -> Var name (TAccum t) -> NExpr ('(name, TAccum t) : env) a -> NExpr env (TPair a t) - NEAccum :: SMTy t -> SAcPrj p t a -> NExpr env (AcIdx p t) -> NExpr env a -> NExpr env (TAccum t) -> NExpr env TNil + NEAccum :: SMTy t -> SAcPrj p t a -> NExpr env (AcIdxD p t) -> NExpr env a -> NExpr env (TAccum t) -> NExpr env TNil -- partiality NEError :: STy a -> String -> NExpr env a |