language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 23:04:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

use Reason::NumLiteral in uniqueness inference

Browse source 
we can 'just' do that here because there is a var_store available. That isn't true for normal inference, where we would have to put the variable in during solving
This commit is contained in:
Folkert 2020-03-11 14:07:49 +01:00
parent 55623605f3
commit 9ba09c7d82
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/constrain/src/uniq.rs
View file

@ -369,7 +369,7 @@ pub fn constrain_expr(
And(vec![
Eq(
Type::Variable(*var),
Expected::ForReason(Reason::IntLiteral, num_type, region),
Expected::ForReason(Reason::NumLiteral, num_type, region),
region,
),
Eq(Type::Variable(*var), expected, region),