avail/avail.compiler/AvailAcceptedParseException

AvailAcceptedParseException

class AvailAcceptedParseException : PrimitiveThrownException

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

AvailAcceptedParseException

fun AvailAcceptedParseException()

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.