... | @@ -77,6 +77,14 @@ Count := '1' # Once |
... | @@ -77,6 +77,14 @@ Count := '1' # Once |
|
# Divergence
|
|
# Divergence
|
|
Divergence := 'b' # Diverges: Definitely divergences
|
|
Divergence := 'b' # Diverges: Definitely divergences
|
|
| '' # Dunno: May or may not diverge
|
|
| '' # Dunno: May or may not diverge
|
|
|
|
|
|
|
|
# Constructed Product Result types
|
|
|
|
CprType := Arity CprResult # The arity is the number of value arguments necessary
|
|
|
|
# for the expression to reduce to CprResult.
|
|
|
|
|
|
|
|
CprResult := '' # NoCPR: No CPR information (top of lattice)
|
|
|
|
| 'm' ConTag # ConCPR: The result is the constructor identified by ConTag
|
|
|
|
| 'b' # BotCPR: Evaluation bottoms (bottom of lattice)
|
|
```
|
|
```
|
|
|
|
|
|
### Demand descriptions
|
|
### Demand descriptions
|
... | | ... | |