[ new ] Dummy Test.WASM that only runs on wasm32-wasi-cabal test

Author: banacorn

agda-language-server.cabal

@@ -157,6 +157,7 @@ test-suite als-test
   other-modules:
       Test.LSP
       Test.SrcLoc
+      Test.WASM
       Agda
       Agda.Convert
       Agda.IR

src/Options.hs

@@ -82,8 +82,6 @@ versionString =
   "Agda v2.7.0.1 Language Server v" <> show versionNumber
 #elif MIN_VERSION_Agda(2,6,4)
   "Agda v2.6.4.3 Language Server v" <> show versionNumber
-#elif MIN_VERSION_Agda(2,6,3)
-  "Agda v2.6.3 Language Server v" <> show versionNumber
 #else
   error "Unsupported Agda version"
 #endif

test/Test.hs

@@ -1,7 +1,12 @@
+{-# LANGUAGE CPP #-}
+
 import Data.Proxy (Proxy (..))
 import Data.Typeable (Typeable)
 import qualified Test.LSP as LSP
 import qualified Test.SrcLoc as SrcLoc
+#if defined(wasm32_HOST_ARCH)
+import qualified Test.WASM as WASM
+#endif
 import Test.Tasty
 import Test.Tasty.Options
 
@@ -27,4 +32,7 @@ tests = askOption $ \(AlsPathOption alsPath) ->
     "Tests"
     [ SrcLoc.tests,
       LSP.tests alsPath
+#if defined(wasm32_HOST_ARCH)
+    , WASM.tests alsPath
+#endif
     ]

test/Test/WASM.hs

@@ -0,0 +1,54 @@
+{-# LANGUAGE CPP #-}
+{-# LANGUAGE OverloadedStrings #-}
+
+module Test.WASM (tests) where
+
+import Test.Tasty
+import Test.Tasty.HUnit
+
+#if defined(wasm32_HOST_ARCH)
+
+tests :: FilePath -> TestTree
+tests alsPath = testGroup "WASM Tests"
+  [ testCase "WASM generation" wasmGenerationTest
+  , testCase "WASM compilation" wasmCompilationTest
+  , testCase "WASM execution dummy" wasmExecutionTest
+  ]
+
+wasmGenerationTest :: IO ()
+wasmGenerationTest = do
+  putStrLn "Testing WASM generation..."
+  -- Dummy test for WASM generation
+  -- In a real implementation, this would:
+  -- 1. Compile Agda code to WASM
+  -- 2. Verify the WASM file is generated
+  -- 3. Check WASM file structure/validity
+  assertBool "WASM generation succeeds" True
+
+wasmCompilationTest :: IO ()
+wasmCompilationTest = do
+  putStrLn "Testing WASM compilation..."
+  -- Dummy test for WASM compilation
+  -- In a real implementation, this would:
+  -- 1. Take sample Agda code
+  -- 2. Compile it with WASM backend
+  -- 3. Verify compilation succeeds
+  assertBool "WASM compilation succeeds" True
+
+wasmExecutionTest :: IO ()
+wasmExecutionTest = do
+  putStrLn "Testing WASM execution..."
+  -- Dummy test for WASM execution
+  -- In a real implementation, this would:
+  -- 1. Load compiled WASM module
+  -- 2. Execute WASM functions
+  -- 3. Verify expected results
+  assertBool "WASM execution works" True
+
+#else
+
+-- When not building for WASM, provide empty tests  
+tests :: FilePath -> TestTree
+tests _ = testGroup "WASM Tests (disabled - only available when building for wasm32 architecture)" []
+
+#endif