diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 22:00:40 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 22:00:40 +0200 |
| commit | b015466e7a3a18dd6708614d09e1502970305c6c (patch) | |
| tree | 627c1dc947a4ef03ff55846aa5ab5fa8d4681171 /src | |
| parent | 0d7319107be2d52ffbaca83ee954a43d7f923eb4 (diff) | |
test: A test for new accumMap logic
Diffstat (limited to 'src')
| -rw-r--r-- | src/Language.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Language.hs b/src/Language.hs index cf7cc4c..4ed4eaa 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -149,6 +149,9 @@ infixl 9 ! shape :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) shape = NEShape +length_ :: NExpr env (TArr N1 t) -> NExpr env TIx +length_ e = snd_ (shape e) + oper :: SOp a t -> NExpr env a -> NExpr env t oper = NEOp |