Remove VampIR compile command and tests (#3104)

* Closes #2841 
* Moves the `vampir` compilation target under `dev`.
* Removes VampIR tests that require the external `vamp-ir` executable.

app/Commands/Compile.hs

@@ -10,7 +10,6 @@ import Commands.Compile.Cairo qualified as Cairo
 import Commands.Compile.Native qualified as Native
 import Commands.Compile.Options
 import Commands.Compile.RiscZeroRust qualified as RiscZeroRust
-import Commands.Compile.Vampir qualified as Vampir
 import Commands.Compile.Wasi qualified as Wasi
 
 runCommand :: (Members AppEffects r) => CompileCommand -> Sem r ()
@@ -19,5 +18,4 @@ runCommand = \case
   Wasi opts -> Wasi.runCommand opts
   Anoma opts -> Anoma.runCommand opts
   Cairo opts -> Cairo.runCommand opts
-  Vampir opts -> Vampir.runCommand opts
   RiscZeroRust opts -> RiscZeroRust.runCommand opts

app/Commands/Compile/Options.hs

@@ -7,7 +7,6 @@ import Commands.Compile.Anoma.Options
 import Commands.Compile.Cairo.Options
 import Commands.Compile.Native.Options
 import Commands.Compile.RiscZeroRust.Options
-import Commands.Compile.Vampir.Options
 import Commands.Compile.Wasi.Options
 import Commands.Extra.NewCompile
 import CommonOptions
@@ -16,7 +15,6 @@ import Juvix.Config qualified as Config
 data CompileCommand
   = Native (NativeOptions 'InputMain)
   | Wasi (WasiOptions 'InputMain)
-  | Vampir (VampirOptions 'InputMain)
   | Anoma (AnomaOptions 'InputMain)
   | Cairo (CairoOptions 'InputMain)
   | RiscZeroRust (RiscZeroRustOptions 'InputMain)
@@ -27,8 +25,7 @@ parseCompileCommand = commandTargetsHelper supportedTargets
 
 supportedTargets :: [(CompileTarget, Parser CompileCommand)]
 supportedTargets =
-  [ (AppTargetVampIR, Vampir <$> parseVampir),
-    (AppTargetAnoma, Anoma <$> parseAnoma),
+  [ (AppTargetAnoma, Anoma <$> parseAnoma),
     (AppTargetCairo, Cairo <$> parseCairo),
     (AppTargetNative64, Native <$> parseNative)
   ]

app/Commands/Dev/DevCompile.hs

@@ -9,6 +9,7 @@ import Commands.Dev.DevCompile.Options
 import Commands.Dev.DevCompile.Reg qualified as Reg
 import Commands.Dev.DevCompile.Rust qualified as Rust
 import Commands.Dev.DevCompile.Tree qualified as Tree
+import Commands.Dev.DevCompile.Vampir qualified as Vampir
 
 runCommand :: (Members AppEffects r) => DevCompileCommand -> Sem r ()
 runCommand = \case
@@ -19,3 +20,4 @@ runCommand = \case
   Casm opts -> Casm.runCommand opts
   Rust opts -> Rust.runCommand opts
   NativeRust opts -> NativeRust.runCommand opts
+  Vampir opts -> Vampir.runCommand opts

app/Commands/Dev/DevCompile/Options.hs

@@ -7,6 +7,7 @@ import Commands.Dev.DevCompile.NativeRust.Options
 import Commands.Dev.DevCompile.Reg.Options
 import Commands.Dev.DevCompile.Rust.Options
 import Commands.Dev.DevCompile.Tree.Options
+import Commands.Dev.DevCompile.Vampir.Options
 import CommonOptions
 import Juvix.Config qualified as Config
 
@@ -18,6 +19,7 @@ data DevCompileCommand
   | Casm (CasmOptions 'InputMain)
   | Rust (RustOptions 'InputMain)
   | NativeRust (NativeRustOptions 'InputMain)
+  | Vampir (VampirOptions 'InputMain)
   deriving stock (Data)
 
 parseDevCompileCommand :: Parser DevCompileCommand
@@ -28,7 +30,8 @@ parseDevCompileCommand =
           commandReg,
           commandTree,
           commandCasm,
-          commandAsm
+          commandAsm,
+          commandVampir
         ]
           <> [commandRust | Config.config ^. Config.configRust]
           <> [commandNativeRust | Config.config ^. Config.configRust]
@@ -82,3 +85,10 @@ commandNativeRust =
     info
       (NativeRust <$> parseNativeRust)
       (progDesc "Compile to native executable through Rust")
+
+commandVampir :: Mod CommandFields DevCompileCommand
+commandVampir =
+  command "vampir" $
+    info
+      (Vampir <$> parseVampir)
+      (progDesc "Compile to VampIR")

app/Commands/Compile/Vampir.hs → app/Commands/Dev/DevCompile/Vampir.hs

@@ -1,7 +1,7 @@
-module Commands.Compile.Vampir where
+module Commands.Dev.DevCompile.Vampir where
 
 import Commands.Base
-import Commands.Compile.Vampir.Options
+import Commands.Dev.DevCompile.Vampir.Options
 import Commands.Extra.NewCompile
 import Juvix.Compiler.Backend.VampIR.Translation qualified as VampIR
 

app/Commands/Compile/Vampir/Options.hs → app/Commands/Dev/DevCompile/Vampir/Options.hs

@@ -1,7 +1,7 @@
 {-# LANGUAGE UndecidableInstances #-}
 
-module Commands.Compile.Vampir.Options
-  ( module Commands.Compile.Vampir.Options,
+module Commands.Dev.DevCompile.Vampir.Options
+  ( module Commands.Dev.DevCompile.Vampir.Options,
     module Commands.Compile.CommonOptions,
   )
 where

test/Core/VampIR/Positive.hs

@@ -15,5 +15,5 @@ toTestDescr = Normalize.toTestDescr' (const (coreVampIRAssertion (toStoredTransf
 allTests :: TestTree
 allTests =
   testGroup
-    "JuvixCore VampIR positive tests"
+    "JuvixCore VampIR pipeline positive tests"
     (map (mkTest . toTestDescr) Normalize.tests)

test/Main.hs

@@ -25,7 +25,6 @@ import Scope qualified
 import Termination qualified
 import Tree qualified
 import Typecheck qualified
-import VampIR qualified
 
 slowTests :: IO TestTree
 slowTests =
@@ -42,7 +41,6 @@ slowTests =
         return Compilation.allTests,
         return Examples.allTests,
         Casm.allTests,
-        VampIR.allTests,
         return Anoma.allTests,
         return Repl.allTests
       ]