Move currently unused files out of the main directory

google-research · Nov 23, 2024 · 4237c76 · 4237c76
1 parent f9cb0dd
commit 4237c76
Show file tree

Hide file tree

Showing 42 changed files with 10 additions and 34 deletions.
diff --git a/dex.cabal b/dex.cabal
@@ -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

diff --git a/src/old/Builder.hs → old/Builder.hs b/src/old/Builder.hs → old/Builder.hs
diff --git a/src/lib/CUDA.hs → old/CUDA.hs b/src/lib/CUDA.hs → old/CUDA.hs
diff --git a/src/old/CheapReduction.hs → old/CheapReduction.hs b/src/old/CheapReduction.hs → old/CheapReduction.hs
diff --git a/src/old/Core.hs → old/Core.hs b/src/old/Core.hs → old/Core.hs
diff --git a/src/old/DPS.hs → old/DPS.hs b/src/old/DPS.hs → old/DPS.hs
diff --git a/src/old/Export.hs → old/Export.hs b/src/old/Export.hs → old/Export.hs
diff --git a/src/old/Generalize.hs → old/Generalize.hs b/src/old/Generalize.hs → old/Generalize.hs
diff --git a/src/old/Imp.hs → old/Imp.hs b/src/old/Imp.hs → old/Imp.hs
diff --git a/src/old/Imp/Builder.hs → old/Imp/Builder.hs b/src/old/Imp/Builder.hs → old/Imp/Builder.hs
diff --git a/src/old/Imp/Optimize.hs → old/Imp/Optimize.hs b/src/old/Imp/Optimize.hs → old/Imp/Optimize.hs
diff --git a/src/old/ImpToLLVM.hs → old/ImpToLLVM.hs b/src/old/ImpToLLVM.hs → old/ImpToLLVM.hs
diff --git a/src/lib/JAX/Concrete.hs → old/JAX/Concrete.hs b/src/lib/JAX/Concrete.hs → old/JAX/Concrete.hs
diff --git a/src/lib/JAX/Rename.hs → old/JAX/Rename.hs b/src/lib/JAX/Rename.hs → old/JAX/Rename.hs
diff --git a/src/lib/JAX/ToSimp.hs → old/JAX/ToSimp.hs b/src/lib/JAX/ToSimp.hs → old/JAX/ToSimp.hs
diff --git a/src/lib/LLVM/CUDA.hs → old/LLVM/CUDA.hs b/src/lib/LLVM/CUDA.hs → old/LLVM/CUDA.hs
diff --git a/src/lib/LLVM/Compile.hs → old/LLVM/Compile.hs b/src/lib/LLVM/Compile.hs → old/LLVM/Compile.hs
diff --git a/src/lib/LLVM/Link.hs → old/LLVM/Link.hs b/src/lib/LLVM/Link.hs → old/LLVM/Link.hs
diff --git a/src/lib/LLVM/Shims.hs → old/LLVM/Shims.hs b/src/lib/LLVM/Shims.hs → old/LLVM/Shims.hs
diff --git a/src/lib/Linearize.hs → old/Linearize.hs b/src/lib/Linearize.hs → old/Linearize.hs
diff --git a/src/old/MLIR/Eval.hs → old/MLIR/Eval.hs b/src/old/MLIR/Eval.hs → old/MLIR/Eval.hs
diff --git a/src/old/MLIR/Lower.hs → old/MLIR/Lower.hs b/src/old/MLIR/Lower.hs → old/MLIR/Lower.hs
diff --git a/src/lib/OccAnalysis.hs → old/OccAnalysis.hs b/src/lib/OccAnalysis.hs → old/OccAnalysis.hs
diff --git a/src/lib/Occurrence.hs → old/Occurrence.hs b/src/lib/Occurrence.hs → old/Occurrence.hs
diff --git a/src/lib/Optimize.hs → old/Optimize.hs b/src/lib/Optimize.hs → old/Optimize.hs
diff --git a/src/old/Parallelize.hs → old/Parallelize.hs b/src/old/Parallelize.hs → old/Parallelize.hs
diff --git a/src/lib/PeepholeOptimize.hs → old/PeepholeOptimize.hs b/src/lib/PeepholeOptimize.hs → old/PeepholeOptimize.hs
diff --git a/src/old/QueryType.hs → old/QueryType.hs b/src/old/QueryType.hs → old/QueryType.hs
diff --git a/src/old/Runtime.hs → old/Runtime.hs b/src/old/Runtime.hs → old/Runtime.hs
diff --git a/src/old/Simplify.hs → old/Simplify.hs b/src/old/Simplify.hs → old/Simplify.hs
diff --git a/src/old/Top.hs → old/Top.hs b/src/old/Top.hs → old/Top.hs
diff --git a/src/old/TopLevel.hs → old/TopLevel.hs b/src/old/TopLevel.hs → old/TopLevel.hs
diff --git a/src/lib/Transpose.hs → old/Transpose.hs b/src/lib/Transpose.hs → old/Transpose.hs
diff --git a/src/lib/Types/Imp.hs → old/TypesImp.hs b/src/lib/Types/Imp.hs → old/TypesImp.hs
diff --git a/src/lib/Vectorize.hs → old/Vectorize.hs b/src/lib/Vectorize.hs → old/Vectorize.hs
diff --git a/src/lib/work-stealing.c → old/work-stealing.c b/src/lib/work-stealing.c → old/work-stealing.c
diff --git a/src/dex.hs b/src/dex.hs
@@ -16,7 +16,7 @@ import qualified System.Console.ANSI as ANSI
 import System.Console.ANSI hiding (Color)
 
 import Types.Source
-import TopLevel2
+import TopLevel
 import ConcreteSyntax (parseSourceBlocks)
 import PPrint
 import Util (readFileText)

diff --git a/src/lib/Inference.hs b/src/lib/Inference.hs
@@ -36,7 +36,7 @@ import Types.Primitives
 import qualified Types.Source as S
 import Subst
 import Types.Source hiding (ConName (..), TCName (..), CTopDecl)
-import Types.Top2
+import Types.Top
 import Util hiding (group)
 
 -- === Top-level interface ===

diff --git a/src/lib/QueryTypePure.hs b/src/lib/QueryTypePure.hs
@@ -9,7 +9,7 @@ module QueryTypePure where
 import Types.Primitives
 import Types.Simple
 import Types.Complicated
-import Types.Top2
+import Types.Top
 import Name
 
 class HasType (e::E) where

diff --git a/src/lib/SourceRename.hs b/src/lib/SourceRename.hs
@@ -22,7 +22,7 @@ import MTL1
 import PPrint
 import Types.Source
 import Types.Primitives
-import Types.Top2
+import Types.Top
 
 renameSourceNames :: (Fallible m, TopLogger m) => UTopDecl -> m UTopDecl
 renameSourceNames decl = liftRenamer $ sourceRenameTop decl

diff --git a/src/lib/TopLevel2.hs → src/lib/TopLevel.hs b/src/lib/TopLevel2.hs → src/lib/TopLevel.hs
@@ -6,7 +6,7 @@
 
 {-# LANGUAGE UndecidableInstances #-}
 
-module TopLevel2 (
+module TopLevel (
   EvalConfig (..), TopperM, runTopperM, evalSourceBlockRepl, OptLevel (..),
   LibPath (..), initTopState, ExitStatus (..)) where
 
@@ -25,7 +25,7 @@ import PPrint
 import Types.Complicated
 import Types.Primitives
 import Types.Source hiding (CTopDecl)
-import Types.Top2
+import Types.Top
 
 -- === top-level monad ===
 

diff --git a/src/lib/Types/Top2.hs → src/lib/Types/Top.hs b/src/lib/Types/Top2.hs → src/lib/Types/Top.hs
@@ -9,7 +9,7 @@
 
 -- Top-level data types
 
-module Types.Top2 where
+module Types.Top where
 
 import Data.Functor ((<&>))
 import Data.Hashable