diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/syntax.dcl | 1 | ||||
| -rw-r--r-- | frontend/syntax.icl | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 15d9c02..7d10d81 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1235,6 +1235,7 @@ cIsNotStrict :== False | TypeCodeExpression !TypeCodeExpression | EE | NoBind ExprInfoPtr /* auxiliary, to store fields that are not specified in a record expression */ + | FailExpr !Ident // only allowed on (case) root positions :: CodeBinding variable :== Env String variable diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 09c8e73..9db1f27 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -1226,6 +1226,7 @@ cIsNotStrict :== False | TypeCodeExpression !TypeCodeExpression | EE | NoBind ExprInfoPtr /* auxiliary, to store fields that are not specified in a record expression */ + | FailExpr !Ident // only allowed on (case) root positions :: CodeBinding variable :== Env String variable @@ -1746,6 +1747,7 @@ where (<<<) file (FreeVar {fv_name}) = file <<< fv_name (<<<) file (ClassVariable info_ptr) = file <<< "ClassVariable " <<< info_ptr + (<<<) file (FailExpr _) = file <<< "** FAIL **" (<<<) file expr = abort ("<<< (Expression) [line 1290]" )//<<- expr) instance <<< LetBind |