diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-09-02 17:49:54 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-09-02 17:50:12 +0200 |
| commit | 7d44dcc2ca2c5c16e1ab4737ef6b2877214767ed (patch) | |
| tree | 42e8b9292403f9ce3a6f04a15ebd62a766880339 /src/AST.hs | |
| parent | 1f7ed2ee02222108684cfde8078e7a182f734a61 (diff) | |
WIP autoWeak
Diffstat (limited to 'src/AST.hs')
| -rw-r--r-- | src/AST.hs | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -261,11 +261,6 @@ idx2int :: Idx env t -> Int idx2int IZ = 0 idx2int (IS n) = 1 + idx2int n -splitIdx :: forall env2 env1 t f. SList f env1 -> Idx (Append env1 env2) t -> Either (Idx env1 t) (Idx env2 t) -splitIdx SNil i = Right i -splitIdx (SCons _ _) IZ = Left IZ -splitIdx (SCons _ l) (IS i) = first IS (splitIdx l i) - class KnownScalTy t where knownScalTy :: SScalTy t instance KnownScalTy TI32 where knownScalTy = STI32 instance KnownScalTy TI64 where knownScalTy = STI64 |