Skip to content

Commit

Permalink
fix(#3213): atom ?
Browse files Browse the repository at this point in the history
  • Loading branch information
maxonfjvipon committed Jun 6, 2024
1 parent 01f554a commit 96afc11
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,8 @@
# SOFTWARE.
---
tests:
- /program/objects/o[@name='main' and @atom and @abstract]
- /program/objects/o[@name='main' and @atom='?' and @abstract]
- /program/objects/o[@name='outer' and @abstract]
- /program/objects/o[@name='outer' and @abstract]/o[@name='inner' and @atom and @abstract]
- /program/objects/o[@name='outer' and @abstract]/o[@name='inner' and @atom='?' and @abstract]
phi:
"{⟦main ↦ ⟦λ ⤍ Lambda⟧, outer ↦ ⟦inner ↦ ⟦λ ⤍ Lambda⟧⟧⟧}"
Original file line number Diff line number Diff line change
Expand Up @@ -316,7 +316,7 @@ public void exitDeltaBinding(final PhiParser.DeltaBindingContext ctx) {
@Override
public void enterLambdaBinding(final PhiParser.LambdaBindingContext ctx) {
if (!XePhiListener.LAMBDA_PACKAGE.equals(ctx.FUNCTION().getText())) {
this.objects().prop("atom");
this.objects().prop("atom", "?");
}
}

Expand Down

0 comments on commit 96afc11

Please sign in to comment.