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

[WIP] Merge local changes with new branch

Browse source
This commit is contained in:
Jared Ramirez 2020-12-31 13:08:50 -06:00
parent 1ab7dc54ad
commit 18d0141942
3 changed files with 9 additions and 73 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -154,20 +154,20 @@ pub fn constrain_pattern(
));
}
IntLiteral(var, _) => {
IntLiteral(precision_var, _) => {
state.constraints.push(Constraint::Pattern(
region,
PatternCategory::Int,
builtins::num_int(Type::Variable(*var)),
builtins::num_integer(Type::Variable(*precision_var)),
expected,
));
}
FloatLiteral(var, _) => {
FloatLiteral(precision_var, _) => {
state.constraints.push(Constraint::Pattern(
region,
PatternCategory::Float,
builtins::num_float(Type::Variable(*var)),
builtins::num_floatingpoint(Type::Variable(*precision_var)),
expected,
));
}