fix

Author: yamaguchi1024

src/exo/frontend/typecheck.py

@@ -599,9 +599,7 @@ def check_e(self, e, is_index=False):
                 )
                 ftyp = T.err
             else:
-                ftyp = e.config.lookup(e.field)[1]
-
-            ftyp = e.config.lookup_type(e.field)
+                ftyp = e.config.lookup_type(e.field)
 
             return LoopIR.ReadConfig(e.config, e.field, ftyp, e.srcinfo)
         else:

src/exo/rewrite/new_analysis_core.py

@@ -68,23 +68,18 @@ def __new__(cls, op):
             | Not( expr arg )
             | USub( expr arg )
             | Const( object val )
+            | ConstSym( sym name ) -- represents a named, opaque value
             | BinOp( binop op, expr lhs, expr rhs )
             | Stride( sym name, int dim )
-
-
-            -- following might not be necessary at some point
-            | Definitely( expr arg )
-            | Maybe( expr arg )
-            | Tuple( expr* args )
-            | ConstSym( sym name ) -- represents a named, opaque value
-            | Select( expr lhs, expr rhs ) -- !!uninterpreted function for array access, different from Select Below
             | LetStrides( sym name, expr* strides, expr body )
             | Select( expr cond, expr tcase, expr fcase )
             | ForAll( sym name, expr arg )
             | Exists( sym name, expr arg )
+            | Definitely( expr arg )
+            | Maybe( expr arg )
+            | Tuple( expr* args )
             | LetTuple( sym* names, expr rhs, expr body )
             | Let( sym* names, expr* rhs, expr body )
-
             attributes( type type, srcinfo srcinfo )
 } """,
     {

tests/test_analysis.py

@@ -2,7 +2,7 @@
 
 import pytest
 
-from exo.rewrite.new_eff import *
+from exo.rewrite.analysis import *
 
 from exo import proc, config, DRAM, SchedulingError
 from exo.stdlib.scheduling import *