feat: add liveness property for 2PC (doesn't pass yet)

spex-lang · Dec 16, 2024 · 1de9cd6 · 1de9cd6
1 parent ce71eab
commit 1de9cd6
Show file tree

Hide file tree

Showing 3 changed files with 180 additions and 91 deletions.
diff --git a/TODO.md b/TODO.md
@@ -38,6 +38,7 @@ Here's what I'm currently working on:
       - https://github.com/schemathesis/schemathesis
       - https://github.com/mockoon/mockoon
       - https://github.com/usebruno/bruno
+      - https://fizzbee.io/
 - news/blog
 
 #### Other

diff --git a/spex.cabal b/spex.cabal
@@ -28,7 +28,7 @@ common warnings
     -Wno-prepositive-qualified-module -Wno-implicit-prelude
     -Wno-missing-export-lists -Wno-missing-safe-haskell-mode
     -Wno-missing-deriving-strategies -Wno-missing-kind-signatures
-    -Wno-implicit-lift
+    -Wno-implicit-lift -Wno-missing-role-annotations
 
 library
   import:             warnings
@@ -78,7 +78,6 @@ library
     LambdaCase
     MultiWayIf
     OverloadedRecordDot
-    RoleAnnotations
     StrictData
     ViewPatterns