diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-22 23:46:39 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-22 23:47:53 +0200 |
| commit | 3847c6ae2d5eb581dac88629e7534aa42e143411 (patch) | |
| tree | 63036604613f8ac17efd8978004c579a0a5bb39b /src/Language.hs | |
| parent | d6d07f3bf20b4a3c0e51b4414fb0e4538176d294 (diff) | |
Fix interpreter bug
Diffstat (limited to 'src/Language.hs')
| -rw-r--r-- | src/Language.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Language.hs b/src/Language.hs index c2b844e..a025236 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -88,8 +88,8 @@ idx0 = NEIdx0 (.!) = NEIdx1 infixl 9 .! -(!) :: KnownNat n => NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) -> NExpr env t -(!) = NEIdx knownNat +(!) :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) -> NExpr env t +(!) = NEIdx infixl 9 ! shape :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) |