[ change ] Backport WASM conditions from cabal to Stack configuration

  - Add arch(wasm32) conditionals to package.yaml matching cabal file
  - Pin network-simple==0.4.2 and exclude threading for WASM builds
  - Enable Stack to generate equivalent WASM-compatible cabal files

Author: banacorn

agda-language-server.cabal

@@ -82,8 +82,6 @@ library
       PatternSynonyms
       TypeOperators
   ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -Werror=incomplete-patterns -fno-warn-orphans
-  if !arch(wasm32)
-    ghc-options: -threaded -with-rtsopts=-N
   build-depends:
       Agda
     , aeson
@@ -96,7 +94,7 @@ library
     , lsp-types >=2
     , mtl
     , network
-    , network-simple == 0.4.2
+    , network-simple ==0.4.2
     , prettyprinter
     , process
     , stm
@@ -115,6 +113,8 @@ library
   if arch(wasm32)
     build-depends:
         unix >=2.8.0.0 && <2.9
+  if !arch(wasm32)
+    ghc-options: -threaded -with-rtsopts=-N
 
 executable als
   main-is: Main.hs
@@ -128,8 +128,6 @@ executable als
       PatternSynonyms
       TypeOperators
   ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -rtsopts -Werror=incomplete-patterns -fno-warn-orphans
-  if !arch(wasm32)
-    ghc-options: -threaded -with-rtsopts=-N
   build-depends:
       Agda
     , aeson
@@ -143,7 +141,7 @@ executable als
     , lsp-types >=2
     , mtl
     , network
-    , network-simple == 0.4.2
+    , network-simple ==0.4.2
     , prettyprinter
     , process
     , stm
@@ -159,6 +157,11 @@ executable als
   if flag(Agda-2-7-0-1)
     build-depends:
         Agda ==2.7.0.1
+  if arch(wasm32)
+    build-depends:
+        unix >=2.8.0.0 && <2.9
+  if !arch(wasm32)
+    ghc-options: -threaded -with-rtsopts=-N
 
 test-suite als-test
   type: exitcode-stdio-1.0
@@ -201,8 +204,6 @@ test-suite als-test
       PatternSynonyms
       TypeOperators
   ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -rtsopts -Werror=incomplete-patterns -fno-warn-orphans
-  if !arch(wasm32)
-    ghc-options: -threaded -with-rtsopts=-N
   build-depends:
       Agda
     , aeson
@@ -216,7 +217,7 @@ test-suite als-test
     , lsp-types >=2
     , mtl
     , network
-    , network-simple == 0.4.2
+    , network-simple ==0.4.2
     , prettyprinter
     , process
     , stm
@@ -236,3 +237,8 @@ test-suite als-test
   if flag(Agda-2-7-0-1)
     build-depends:
         Agda ==2.7.0.1
+  if arch(wasm32)
+    build-depends:
+        unix >=2.8.0.0 && <2.9
+  if !arch(wasm32)
+    ghc-options: -threaded -with-rtsopts=-N

package.yaml

@@ -48,6 +48,9 @@ when:
 - condition: "flag(Agda-2-7-0-1)"
   dependencies:
     - Agda == 2.7.0.1
+- condition: "arch(wasm32)"
+  dependencies:
+    - unix >= 2.8.0.0 && < 2.9
 # - condition: "flag(Agda-2-6-2-2) && flag(Agda-2-6-3)"
 #   dependencies:
 #     - Agda < 0
@@ -64,7 +67,7 @@ dependencies:
   - lsp >= 2
   - mtl
   - network
-  - network-simple
+  - network-simple == 0.4.2
   - strict
   - stm
   - text
@@ -91,6 +94,11 @@ library:
   - -Wmissing-signatures
   - -Werror=incomplete-patterns
   - -fno-warn-orphans
+  when:
+  - condition: "!arch(wasm32)"
+    ghc-options:
+    - -threaded
+    - -with-rtsopts=-N
 
 executables:
   als:
@@ -106,11 +114,14 @@ executables:
     - -Wmissing-methods
     - -Wmissing-pattern-synonym-signatures
     - -Wmissing-signatures
-    - -threaded
     - -rtsopts
-    - -with-rtsopts=-N
     - -Werror=incomplete-patterns
     - -fno-warn-orphans
+    when:
+    - condition: "!arch(wasm32)"
+      ghc-options:
+      - -threaded
+      - -with-rtsopts=-N
     dependencies:
     - agda-language-server
 
@@ -137,11 +148,14 @@ tests:
       - -Wmissing-methods
       - -Wmissing-pattern-synonym-signatures
       - -Wmissing-signatures
-      - -threaded
       - -rtsopts
-      - -with-rtsopts=-N
       - -Werror=incomplete-patterns
       - -fno-warn-orphans
+    when:
+    - condition: "!arch(wasm32)"
+      ghc-options:
+      - -threaded
+      - -with-rtsopts=-N
 
 # tests:
 #   als-test:

stack.yaml

@@ -13,6 +13,7 @@ extra-deps:
 - lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
 - mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
 - row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
+- network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
 
 flags:
   Agda:

stack.yaml.lock

@@ -1,7 +1,7 @@
 # This file was autogenerated by Stack.
 # You should not edit this file by hand.
 # For more information, please see the documentation at:
-#   https://docs.haskellstack.org/en/stable/lock_files
+#   https://docs.haskellstack.org/en/stable/topics/lock_files
 
 packages:
 - completed:
@@ -46,6 +46,13 @@ packages:
       size: 1060
   original:
     hackage: row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
+- completed:
+    hackage: network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
+    pantry-tree:
+      sha256: dd29b2be85ddbc79edd268c27e7c49eb939a4478ee9f2be410a199e768ec5783
+      size: 564
+  original:
+    hackage: network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
 snapshots:
 - completed:
     sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2