Skip to content

Expand IndClosure during String decoding

Hannes Siebenhandl requested to merge wip/decode-string into master

When thunks are evaluated, the thunk closure is replaced with an IndClosure. To make sure we don't miss parts of the string, we also expand IndClosure types.

Merge request reports