Commit fbf2ab7e authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

bugfix (by Sjaak) in reference counting

parent 171a6681
This diff is collapsed.
......@@ -988,12 +988,15 @@ instance toString KindInfo
:: CountedFreeVar =
{ cfv_var :: !FreeVar
, cfv_is_let :: !Bool
, cfv_count :: !ReferenceCount
}
:: OccurrenceBinding = OB_Empty
| OB_OpenLet (Choice Expression [CountedFreeVar])
| OB_LockedLet (Choice Expression [CountedFreeVar])
| OB_OpenLet FreeVar (Optional RefMarkResult)
| OB_LockedLet OccurrenceBinding
:: RefMarkResult :== ([CountedFreeVar], [FreeVar])
:: OptGuardedAlts = GuardedAlts ![GuardedExpr] !(Optional ExprWithLocalDefs)
| UnGuardedExpr !ExprWithLocalDefs
......
......@@ -961,15 +961,15 @@ cNotVarNumber :== -1
:: CountedFreeVar =
{ cfv_var :: !FreeVar
, cfv_is_let :: !Bool
, cfv_count :: !ReferenceCount
}
:: OccurrenceBinding = OB_Empty
| OB_OpenLet (Choice Expression [CountedFreeVar])
| OB_LockedLet (Choice Expression [CountedFreeVar])
// | OB_OpenLet !Expression | OB_LockedLet !Expression
// | OB_Pattern ![PatternVar] !OccurrenceBinding
// | OB_Closed !LetOccurrences | OB_Marked !LetOccurrences
| OB_OpenLet FreeVar (Optional RefMarkResult)
| OB_LockedLet OccurrenceBinding
:: RefMarkResult :== ([CountedFreeVar], [FreeVar])
:: TypeDefInfo =
{ tdi_kinds :: ![TypeKind]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment