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

fix copy paste mistake

Browse source
This commit is contained in:
Folkert 2022-03-02 19:08:42 +01:00
parent 0be23e23da
commit 36c2b78c30
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 16 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

40
compiler/constrain/src/builtins.rs
View file

@ -116,30 +116,22 @@ pub fn float_literal(
let reason = Reason::FloatLiteral;
let mut constrs = Vec::with_capacity(3);
let num_type = {
let constrs: &mut Vec<Constraint> = &mut constrs;
let num_type = Variable(num_var);
let category = Category::Float;
let range = bound.bounded_range();
let total_num_type = num_type;
match range.len() {
0 => total_num_type,
1 => {
let actual_type = Variable(range[0]);
constrs.push(Eq(
total_num_type.clone(),
Expected::ForReason(Reason::NumericLiteralSuffix, actual_type, region),
category,
region,
));
total_num_type
}
_ => RangedNumber(Box::new(total_num_type), range),
}
};
constrs.extend(vec![]);
let num_type = add_numeric_bound_constr(
&mut constrs,
Variable(num_var),
bound,
region,
Category::Float,
);
constrs.extend(vec![
Eq(
num_type.clone(),
ForReason(reason, num_float(Type::Variable(precision_var)), region),
Category::Float,
region,
),
Eq(num_type, expected, Category::Float, region),
]);
exists(vec![num_var, precision_var], And(constrs))
}