Skip to content

Commit

Permalink
internal/core/adt: fix let bug
Browse files Browse the repository at this point in the history 
Needed to unwrap ConjunctGroup. Although the evaluator would
correctly unwrap the ConjunctGroup, it would reprocess the
Comprehension, resulting in different semantics.

This code ensures the Comprehension is unwrapped before
evaluating the let.

Issue #2884

Signed-off-by: Marcel van Lohuizen <[email protected]>
Change-Id: I76c10e38dc9ebe244cb6f067f3b26ad95e0efbbb
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1194415
Unity-Result: CUE porcuepine <[email protected]>
TryBot-Result: CUEcueckoo <[email protected]>
Reviewed-by: Daniel Martí <[email protected]>
  • Loading branch information
@mpvl
mpvl committed May 7, 2024
1 parent 4c60191 commit 576a3ed
Show file tree
Hide file tree
Showing 7 changed files with 643 additions and 426 deletions.
Loading

0 comments on commit 576a3ed

Please sign in to comment.