diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index e0c3f90..b182073 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1113,8 +1113,9 @@ instance toString KindInfo } :: OccurrenceBinding = OB_Empty - | OB_OpenLet FreeVar (Optional RefMarkResult) - | OB_LockedLet OccurrenceBinding + | OB_OpenLet !FreeVar !(Optional RefMarkResult) + | OB_LockedLet !OccurrenceBinding + | OB_MarkedLet !OccurrenceBinding :: RefMarkResult :== ([CountedFreeVar], [FreeVar]) |