Download Latest Version
A first version to build with GHC 9.14.1 source code.tar.gz (34.0 MB)
Get an email when there's a new version of LiquidHaskell
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Last version to build with GHC 9.12.2 source code.tar.gz | 2026-01-14 | 34.0 MB | |
| Last version to build with GHC 9.12.2 source code.zip | 2026-01-14 | 35.6 MB | |
| README.md | 2026-01-14 | 4.5 kB | |
| Totals: 3 Items | 69.6 MB | 0 | |
## 0.9.12.2.1
- Disable LH when collecting Haddock comments and the noBackend is set #2611
- Make assume reflect error sensitive to dflags #2607
- Add a flag to dump the a-normalized core #2605
- Show solutions of non-cut kvars in error messages #2596
- Remove question marks as a distinction of predicates from other expressions #2595
- Require braces when declaring qualifier #2594
- Retire implementation of gradual refinement types #2588
- Remove old versions of PLE #2587
- Add new syntax for indexed types (Ix instead of Prop) #2586
- Handle
ByteArray#as int in the logic #2581 - Do not ignore user qualifiers when using
--reflection#2580 - Add set cardinality support when using cvc5 #2577
- Support the finite field theory when using cvc5 #2571 #2614
- Allow to qualify predicate aliases #2566
- Implement stratified types #2559
- Resolve occurrences of imported opaquely-reflected functions #2548
- Allow to qualify type aliases #2550
- Print the amount of checked constraints when verification fails #2545
- Fix SMT crashes on reflected functions on polymorphic data types #2542
- Look for cvc5 before cvc4 #2513
- Change
--coresdefault to 1 #2564
