google-research
diff --git a/‎dex.cabal
Lines changed: 3 additions & 27 deletions b/‎dex.cabal
Lines changed: 3 additions & 27 deletions
diff --git a/‎src/old/Builder.hs renamed to ‎old/Builder.hs b/‎src/old/Builder.hs renamed to ‎old/Builder.hs
diff --git a/‎src/lib/CUDA.hs renamed to ‎old/CUDA.hs b/‎src/lib/CUDA.hs renamed to ‎old/CUDA.hs
diff --git a/‎src/old/CheapReduction.hs renamed to ‎old/CheapReduction.hs b/‎src/old/CheapReduction.hs renamed to ‎old/CheapReduction.hs
diff --git a/‎src/old/Core.hs renamed to ‎old/Core.hs b/‎src/old/Core.hs renamed to ‎old/Core.hs
diff --git a/‎src/old/DPS.hs renamed to ‎old/DPS.hs b/‎src/old/DPS.hs renamed to ‎old/DPS.hs
diff --git a/‎src/old/Export.hs renamed to ‎old/Export.hs b/‎src/old/Export.hs renamed to ‎old/Export.hs
diff --git a/‎src/old/Generalize.hs renamed to ‎old/Generalize.hs b/‎src/old/Generalize.hs renamed to ‎old/Generalize.hs
diff --git a/‎src/old/Imp.hs renamed to ‎old/Imp.hs b/‎src/old/Imp.hs renamed to ‎old/Imp.hs
diff --git a/‎src/old/Imp/Builder.hs renamed to ‎old/Imp/Builder.hs b/‎src/old/Imp/Builder.hs renamed to ‎old/Imp/Builder.hs
@@ -27,10 +27,6 @@ flag optimized
   description:         Enables GHC optimizations
   default:             False
 
-flag llvm-head
-  description:         Use the bleeding-edge version of LLVM
-  default:             False
-
 flag foreign
   description:         Build the C interface to Dex
   default:             False
@@ -42,52 +38,35 @@ flag debug
 library
   exposed-modules:     AbstractSyntax
                      -- , Builder
-                     -- , CUDA
                      -- , CheapReduction
                      -- , CheckType
                      , ConcreteSyntax
                      -- , Core
                      -- , DPS
                      , Err
                      -- , Generalize
-                     -- , Imp
-                     -- , ImpToLLVM
                      , IncState
                      , Inference
                      -- , Inline
-                     -- , JAX.Concrete
-                     -- , JAX.Rename
-                     -- , JAX.ToSimp
-                     -- , LLVM.Link
-                     -- , LLVM.Compile
-                     -- , LLVM.CUDA
-                     -- , LLVM.Shims
                      , Lexing
-                     -- , Linearize
                      , MonadUtil
                      , MTL1
                      , Name
-                     -- , Occurrence
-                     -- , OccAnalysis
-                     -- , Optimize
-                     -- , PeepholeOptimize
                      , PPrint
                      , RawName
-                     -- , Runtime
                      -- , RuntimePrint
                      -- , Serialize
                      -- , Simplify
-                      , Subst
+                     , Subst
                      , SourceRename
                      , SourceIdTraversal
-                     , TopLevel2
+                     , TopLevel
                      -- , Transpose
                      , Types.Simple
                      , Types.Complicated
-                     -- , Types.Imp
                      , Types.Primitives
                      , Types.Source
-                     , Types.Top2
+                     , Types.Top
                      -- , QueryType
                      , QueryTypePure
                      , Util
@@ -103,8 +82,6 @@ library
                      , cryptonite
                      , exceptions
                      , hashable
-                     , llvm-hs
-                     , llvm-hs-pure
                      , mtl
                      , scientific
                      , transformers
@@ -272,7 +249,6 @@ foreign-library Dex
                      , base
                      , bytestring
                      , containers
-                     , llvm-hs
                      , mtl
                      , random
                      , text