diff options
| author | johnvg | 2009-07-29 14:14:35 +0000 |
|---|---|---|
| committer | johnvg | 2009-07-29 14:14:35 +0000 |
| commit | 318059666712d38e897f1bda3e2688db2fb85709 (patch) | |
| tree | 47109241caf1fa83ca072cd2b23f5ca039ade7ee /frontend/syntax.dcl | |
| parent | fix bug that may occur if a let is used in a case inside another case, (diff) | |
fix bug that may occur if a let variable is used in another let in an alternative
of a case and is also used in another alternative,
these lets were not added to the list of lets closed by cases,
now they are, and the let will be reopened in the other alternative
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1751 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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]) |