Skip to content

[inferno-core] Stop using Set for constraint accumulation, refactor infer a bit #206

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ngua merged 8 commits into from
Apr 8, 2026
+432 −319
Merged

[inferno-core] Stop using Set for constraint accumulation, refactor infer a bit #206

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
421c944
Switch from `Set` to `Seq` for constraints
ngua Apr 2, 2026
8456bfa
Add `CaseBranch` to help clarify `infer`
ngua Apr 3, 2026
104e99f
Add `InferResult` to make `infer` a bit clearer
ngua Apr 6, 2026
964b8ac
Use record fields to access things
ngua Apr 6, 2026
d8ee8d8
Versions, changelogs
ngua Apr 6, 2026
a35471b
Merge branch 'main' into rory-typechecker-stop-using-set-for-no-reason
ngua Apr 6, 2026
2b28196
Clean up long `<>` chains
ngua Apr 8, 2026
d2164d6
Merge branch 'rory-typechecker-stop-using-set-for-no-reason' of githu…
ngua Apr 8, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions inferno-core/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,10 @@
# Revision History for inferno-core
*Note*: we use https://pvp.haskell.org/ (MAJOR.MAJOR.MINOR.PATCH)

## 0.11.6.9 -- 2026-04-06
* Switch from `Set` to `Seq` for constraints in type inference
* Refactor `infer`, use helper records and field access instead of anonymous tuple projections

## 0.11.6.8 -- 2026-04-01
* Replace `nub` with `nubOrd` in `normalize`
* Add strictness annotations to `InferState`
Expand Down
2 changes: 1 addition & 1 deletion inferno-core/inferno-core.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 2.4
name: inferno-core
version: 0.11.6.8
version: 0.11.6.9
synopsis: A statically-typed functional scripting language
description:
Parser, type inference, and interpreter for a statically-typed functional scripting language
Expand Down
Loading
Loading