Commit 54b6b79
committed
Update LH after simplifying kvars and removing question marks
1 parent 77d34fe commit 54b6b79
1 file changed
+1
-1
lines changedSubmodule liquid-fixpoint updated 17 files
- .github/workflows/hlint.yml+1-1
- liquid-fixpoint.cabal+5
- src/Language/Fixpoint/Graph/Types.hs-2
- src/Language/Fixpoint/Parse.hs+29-26
- src/Language/Fixpoint/Solver.hs+51-7
- src/Language/Fixpoint/Types/Refinements.hs+4-4
- src/Language/Fixpoint/Types/Substitutions.hs+4-3
- tests/neg/test00.hs.fq+24-24
- tests/pos/hex.ts.fq+60-60
- tests/pos/listqual.hs.fq+23-23
- tests/pos/sets.fq+1-1
- tests/pos/test00.hs.fq+25-25
- tests/pos/test000.hs.fq+34-34
- tests/tasty/Main.hs+2
- tests/tasty/ParserTests.hs+2-5
- tests/tasty/ghc-9.12.1/SimplifyKVarTests.hs+395
- tests/tasty/ghc-before-9.12.1/SimplifyKVarTests.hs+12
0 commit comments