We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a138676 commit ff9651eCopy full SHA for ff9651e
lkql_checker/share/lkql/stdlib.lkql
@@ -552,7 +552,7 @@ fun number_of_values(type) =
552
|" Return the number of values covered by a given BaseTypeDecl, -1 if
553
|" this value cannot be determined.
554
match type
555
- | SubtypeDecl(f_subtype: *(f_constraint: RangeConstraint(f_range: *(f_range: op@BinOp)) => range_values(op.f_left, op.f_right)
+ | SubtypeDecl(f_subtype: *(f_constraint: RangeConstraint(f_range: *(f_range: op@BinOp)))) => range_values(op.f_left, op.f_right)
556
| SubtypeDecl => number_of_values(type.f_subtype.f_name.p_referenced_decl())
557
| * when type == type.p_universal_int_type() => -1
558
| TypeDecl(f_type_def: type_def) => match type_def
0 commit comments