Rename Category::Float to Category::Frac

This commit is contained in:
Richard Feldman 2022-07-19 20:04:51 -04:00
parent e389b23e4b
commit 3972664e48
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
6 changed files with 10 additions and 10 deletions

View file

@ -118,17 +118,17 @@ pub fn float_literal(
precision_var,
bound,
region,
Category::Float,
Category::Frac,
);
constrs.extend([
constraints.equal_types(
num_type.clone(),
ForReason(reason, num_float(Type::Variable(precision_var)), region),
Category::Float,
Category::Frac,
region,
),
constraints.equal_types(num_type, expected, Category::Float, region),
constraints.equal_types(num_type, expected, Category::Frac, region),
]);
let and_constraint = constraints.and_constraint(constrs);