diff options
Diffstat (limited to 'src/Language/AST.hs')
| -rw-r--r-- | src/Language/AST.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Language/AST.hs b/src/Language/AST.hs index 0945dd9..409d24d 100644 --- a/src/Language/AST.hs +++ b/src/Language/AST.hs @@ -52,7 +52,7 @@ data NExpr env t where NEConst :: Show (ScalRep t) => SScalTy t -> ScalRep t -> NExpr env (TScal t) NEIdx0 :: NExpr env (TArr Z t) -> NExpr env t NEIdx1 :: NExpr env (TArr (S n) t) -> NExpr env TIx -> NExpr env (TArr n t) - NEIdx :: SNat n -> NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) -> NExpr env t + NEIdx :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) -> NExpr env t NEShape :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) NEOp :: SOp a t -> NExpr env a -> NExpr env t @@ -131,7 +131,7 @@ fromNamedExpr val = \case NEConst t x -> EConst ext t x NEIdx0 e -> EIdx0 ext (go e) NEIdx1 a b -> EIdx1 ext (go a) (go b) - NEIdx n a b -> EIdx ext n (go a) (go b) + NEIdx a b -> EIdx ext (go a) (go b) NEShape e -> EShape ext (go e) NEOp op e -> EOp ext op (go e) |