language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 07:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

fix some mistakes

Browse source
This commit is contained in:
Folkert 2020-10-30 00:35:40 +01:00
parent 5d3f969a84
commit 73e0ea2e5d
5 changed files with 11 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/constrain/src/pattern.rs
View file

@ -148,7 +148,7 @@ pub fn constrain_pattern(
state.constraints.push(Constraint::Pattern(
region,
PatternCategory::Num,
builtins::builtin_type(Symbol::NUM_NUM, vec![Type::Variable(*var)]),
builtins::num_num(Type::Variable(*var)),
expected,
));
}
@ -157,7 +157,7 @@ pub fn constrain_pattern(
state.constraints.push(Constraint::Pattern(
region,
PatternCategory::Float,
builtins::builtin_type(Symbol::NUM_INT, vec![]),
builtins::num_int(),
expected,
));
}
@ -166,7 +166,7 @@ pub fn constrain_pattern(
state.constraints.push(Constraint::Pattern(
region,
PatternCategory::Float,
builtins::builtin_type(Symbol::NUM_FLOAT, vec![]),
builtins::num_float(),
expected,
));
}