introduce missing var

This commit is contained in:
Folkert 2021-05-05 21:35:39 +02:00
parent 48f392f372
commit 86ffd430d7

View file

@ -37,7 +37,7 @@ pub fn int_literal(
#[inline(always)] #[inline(always)]
pub fn float_literal( pub fn float_literal(
num_var: Variable, num_var: Variable,
percision_var: Variable, precision_var: Variable,
expected: Expected<Type>, expected: Expected<Type>,
region: Region, region: Region,
) -> Constraint { ) -> Constraint {
@ -45,11 +45,11 @@ pub fn float_literal(
let reason = Reason::FloatLiteral; let reason = Reason::FloatLiteral;
exists( exists(
vec![num_var], vec![num_var, precision_var],
And(vec![ And(vec![
Eq( Eq(
num_type.clone(), num_type.clone(),
ForReason(reason, num_float(Type::Variable(percision_var)), region), ForReason(reason, num_float(Type::Variable(precision_var)), region),
Category::Float, Category::Float,
region, region,
), ),