language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Add note on bug in constraining

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-25 17:57:17 -05:00
parent e7c7eb623e
commit 42058c3067
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/compiler/constrain/src/expr.rs
View file

@ -3597,6 +3597,9 @@ fn rec_defs_help(
let def_con = constraints.exists(vars, and_constraint);
if is_hybrid {
// TODO this is not quite right, types that are purely rigid should not
// be stored as hybrid!
// However it might not be possible to fix this before types SoA lands.
hybrid_and_flex_info.vars.extend(&new_rigid_variables);
hybrid_and_flex_info.constraints.push(def_con);
hybrid_and_flex_info