diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 86290e4..37d020a 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -893,7 +893,7 @@ cNotVarNumber :== -1 { aci_params :: ![FreeVar] , aci_opt_unfolder :: !(Optional SymbIdent) , aci_free_vars :: !Optional [BoundVar] - , aci_linearity_of_patterns :: ![[Bool]] + , aci_linearity_of_patterns :: ![![#Bool!]!] , aci_safe :: !Bool } |