body of the macro
Did the user flag this macro as recursive?
Typecheck inputs to this macro
stack at point of invocation
false if invalid true otherwise
Determine the complete datatype of the macro given only input types
context
required given input datatypes
location in the code where inferrence is needed
An arrow type for the datatype of the macro
Do we know it at compile time?
Verify this macro has specified type
parser context
type to check against
location in code where check is required
true/false if checks or not or a syntax error
Name for type of this value
Generated using TypeDoc
A macro that is created internally by the compiler