Skip to content

Fix String Decoding

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

Expand IndClosure during String decoding

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