Skip to content
Snippets Groups Projects
Commit 681c65f0 authored by Matthew Pickering's avatar Matthew Pickering
Browse files

Attempt to add liquidhaskell-boot

parent fa02a975
No related branches found
No related tags found
No related merge requests found
Pipeline #85932 failed
......@@ -3,7 +3,7 @@
-- ghc/ghc#23048.
index-state:
hackage.haskell.org 2023-07-31T12:18:14Z,
hackage.haskell.org 2023-10-30T12:18:14Z,
head.hackage HEAD
constraints: th-abstraction >= 0.4
......
......@@ -154,6 +154,7 @@ extra_package generic-random 1.5.0.1
extra_package lame 0.2.1
extra_package inspection-testing 0.5.0.2
extra_package ghcide 2.0.0.1
extra_package liquidhaskell-boot 0.9.2.5.0
# This package is affected by https://gitlab.haskell.org/ghc/ghc/-/issues/22912
extra_package vector-space 0.16
......
diff --git a/Cabal.cabal b/Cabal.cabal
index 9bf2bf1..00988be 100644
--- a/Cabal.cabal
+++ b/Cabal.cabal
@@ -46,6 +46,7 @@ library
process >= 1.2.1.0 && < 1.7,
time >= 1.4.0.1 && < 1.13
+
if os(windows)
build-depends: Win32 >= 2.3.0.0 && < 2.14
else
diff --git a/Cabal-syntax.cabal b/Cabal-syntax.cabal
index 6efbaea..e8bd0e0 100644
--- a/Cabal-syntax.cabal
+++ b/Cabal-syntax.cabal
@@ -45,6 +45,7 @@ library
-- See also https://github.com/ekmett/transformers-compat/issues/35
transformers (>= 0.3 && < 0.4) || (>=0.4.1.0 && <0.7)
+
if os(windows)
build-depends: Win32 >= 2.3.0.0 && < 2.14
else
diff --git a/liquid-fixpoint.cabal b/liquid-fixpoint.cabal
index 26783f4..8070349 100644
--- a/liquid-fixpoint.cabal
+++ b/liquid-fixpoint.cabal
@@ -156,7 +156,7 @@ library
, smtlib-backends-process >= 0.3
, stm
, store
- , vector < 0.13
+ , vector < 0.14
, syb
, text
, transformers
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment