-
Notifications
You must be signed in to change notification settings - Fork 0
Add named INT and FLT. #198
Copy link
Copy link
Open
Labels
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestinterpreterRequires a code change in the interpreter.Requires a code change in the interpreter.minorRequires a minor version change.Requires a minor version change.testSomething related to the test suite.Something related to the test suite.
Milestone
Metadata
Metadata
Assignees
Labels
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestinterpreterRequires a code change in the interpreter.Requires a code change in the interpreter.minorRequires a minor version change.Requires a minor version change.testSomething related to the test suite.Something related to the test suite.
Add named
INTandFLT.Symbols, parameters, and return types of type
INTandFLT(referred to as numbers for convenience) MAY now specify a base with the formTYPE{base}, where the base is written as anINT.Named numbers with different bases are treated as different types, but are all considered part of their parent types (
INTorFLT). A coerced type parameter that uses named numbers converts numbers to the correct type.Signatures now include bases in the type annotation for named numbers.
Update the specification, implementation, and test suite.