roc/crates/compiler/constrain/src
Ayaz Hafiz 561f3d9711
Store lambda set variables as flex inference variables
This is actually correct - the rigid approach is not. Lambda set
variables should be inferred in-scope.
2025-01-05 23:54:37 -05:00
..
builtins.rs Revert "Try fixing a surprising constraint behavior" 2024-11-16 23:49:20 -05:00
expr.rs Store lambda set variables as flex inference variables 2025-01-05 23:54:37 -05:00
lib.rs correct formatting and removed duplicate image 2022-11-03 20:02:10 +11:00
module.rs Store rigid vars with location during constraining 2025-01-05 23:54:36 -05:00
pattern.rs Unify let-introduction in a single path 2025-01-05 23:54:37 -05:00