WIP

google-research · Aug 14, 2023 · 1370034 · 1370034
1 parent 43d7b98
commit 1370034
Show file tree

Hide file tree

Showing 32 changed files with 3,818 additions and 3,972 deletions.
diff --git a/dex.cabal b/dex.cabal
@@ -49,7 +49,6 @@ library
                      , Builder
                      , CUDA
                      , Cat
-                     , CheapReduction
                      , CheckType
                      , ConcreteSyntax
                      , Core
@@ -95,10 +94,10 @@ library
                      , Types.Primitives
                      , Types.OpNames
                      , Types.Source
-                     , QueryType
                      , QueryTypePure
                      , Util
                      , Vectorize
+                     , Visit
   if flag(live)
     exposed-modules:   Actor
                      , Live.Eval

diff --git a/lib/prelude.dx b/lib/prelude.dx
@@ -5,9 +5,7 @@
 '## Essentials
 ### Primitive Types
 
-Type = %TyKind()
 Heap = %HeapType()
-Effects = %EffKind()
 
 Int64 = %Int64()
 Int32 = %Int32()

diff --git a/src/lib/Algebra.hs b/src/lib/Algebra.hs
@@ -25,7 +25,7 @@ import IRVariants
 import MTL1
 import Name
 import Subst
-import QueryType
+import QueryTypePure
 import Types.Core
 import Types.Imp
 import Types.Primitives