Avail
An AvailAcceptedParseException is thrown by primitive P_AcceptParsing to indicate the fiber running a semantic restriction has accepted the argument types and does not need to restrict the proposed expression's type.
Author
Mark van Gulik
Constructors
Link copied to clipboard
constructor()
Construct a new AvailAcceptedParseException, which can be thrown by primitive P_AcceptParsing to indicate a semantic restriction has accepted a parse but does not wish to strengthen the expression's type.