Skip to content

Demand Outputable syntax improvements: Call SubDemand

@simonpj said that he regularly gets confused about Demands with a Call SubDemand like 1C1(C1(L), where there's a Card before and after the C.

The correct association is 1 C1( C1(L) ), e.g., the first 1 is from the outer evaluation Demand while the second 1 describes how often the thing was called and therefore belongs to the Call SubDemand.

To make this more obvious and in line with Prod SubDemands, we agreed to put the Card inside the parens, too, e.g., 1C(1,C(1,L)).

This ticket is to track that change.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information