Skip to content

(feat) Type Inference Bounds #73

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.

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
merged 38 commits into from
Apr 17, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
c526682
Add extra tests for field mismatch
AlSchlo Apr 12, 2025
6a00dac
clippy
AlSchlo Apr 12, 2025
355086e
Move compile.rs to root dsl
AlSchlo Apr 12, 2025
bbfe5b7
Add more type annotations
AlSchlo Apr 12, 2025
f6c0220
nits
AlSchlo Apr 12, 2025
3830388
Add type id for unknown
AlSchlo Apr 12, 2025
05722f5
Fix .opt file
AlSchlo Apr 12, 2025
771c481
Add new trait subtypes
AlSchlo Apr 12, 2025
447f4e9
Add cycle detection in subtypes
AlSchlo Apr 12, 2025
0a8a186
Fix ADT cycle detection bug
AlSchlo Apr 12, 2025
5aacbc5
nite
AlSchlo Apr 12, 2025
d273c2f
Couple of renames for clarity
AlSchlo Apr 12, 2025
9d62506
Start adding constraints
AlSchlo Apr 13, 2025
8064ba8
Flesh out skeleton of type constraints generation
AlSchlo Apr 14, 2025
928a75d
Some cleanup, add into compilation pipeline and prep for tmr
AlSchlo Apr 14, 2025
607d435
Fix pattern constraints and list eval
AlSchlo Apr 15, 2025
32086e3
Reduce visibility
AlSchlo Apr 15, 2025
aa8dcff
Cleanup of existing code
AlSchlo Apr 15, 2025
fabb405
Add missing files
AlSchlo Apr 15, 2025
c9be9a0
Merge
AlSchlo Apr 15, 2025
6fa5669
Clippy
AlSchlo Apr 15, 2025
f798096
Visibility and clippy
AlSchlo Apr 15, 2025
af77b2f
Add missing tokio deps
AlSchlo Apr 15, 2025
2d9f869
Remove extra dir
AlSchlo Apr 15, 2025
c55ace9
Remove dep
AlSchlo Apr 15, 2025
2f9f110
Fix return constraint
AlSchlo Apr 15, 2025
17faeb1
Add return constraints
AlSchlo Apr 15, 2025
451e999
Add file
AlSchlo Apr 16, 2025
47f6880
nit
AlSchlo Apr 16, 2025
d2cd40c
Add tmp progress
AlSchlo Apr 16, 2025
2e0ee20
Make map key contravariant and finish lub
AlSchlo Apr 16, 2025
ca88790
Remove broken glb tests
AlSchlo Apr 16, 2025
de20f1b
Clippy
AlSchlo Apr 16, 2025
5357bd8
Fix lub bugs
AlSchlo Apr 16, 2025
b53f60c
Add glb impl
AlSchlo Apr 16, 2025
ed5424c
Fix glb and add glb tests
AlSchlo Apr 16, 2025
ddf6fac
Remove unused
AlSchlo Apr 16, 2025
d00d99e
merge
AlSchlo Apr 17, 2025
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
2 changes: 1 addition & 1 deletion optd-dsl/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,4 @@ futures = "0.3.31"
ordered-float = "5.0.0"

[dev-dependencies]
tokio = { version = "1.44.2", features = ["macros"] }
tokio = { version = "1.44.2", features = ["macros", "rt-multi-thread", "test-util"] }
Loading