feat(type_inference): added NumericDefaultInt cons

- Added NumericDefaultInt constraint - Updated IntegerLit semantic node to have monotype value - Updated semantic analysis to convert all NumericDefaultInt to int in final pass
influxdata · Oct 22, 2020 · bbfcaa4 · bbfcaa4
1 parent 4ea803e
commit bbfcaa4
Show file tree

Hide file tree

Showing 20 changed files with 1,534 additions and 632 deletions.
diff --git a/ast/internal/fbast/ast_generated.go b/ast/internal/fbast/ast_generated.go
diff --git a/docs/SPEC.md b/docs/SPEC.md
@@ -616,6 +616,11 @@ Int, Uint, and Float types are Divisible.
 
 Int, Uint, and Float types are Numeric.
 
+##### Numeric Default Int Constraint
+
+Integer literals are polymorphic and can be interpreted as Int, Uint, or Float types.
+This constraint is used to infer the type of integer literals based on the context of the program.
+
 ##### Comparable Constraint
 
 Comparable types are those the binary comparison operators `<`, `<=`, `>`, or `>=` accept.

diff --git a/internal/fbsemantic/semantic.fbs b/internal/fbsemantic/semantic.fbs
@@ -94,6 +94,7 @@ enum Kind : ubyte {
   Record,
   Negatable,
   Timeable,
+  NumericDefaultInt,
 }
 
 table Constraint {
@@ -400,6 +401,7 @@ table DurationLiteral {
 table IntegerLiteral {
   loc:SourceLocation;
   value:int64;
+  typ:MonoType;
 }
 
 table FloatLiteral {