Skip to content
Snippets Groups Projects

Fix String Decoding

Closed 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

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading