Add Typescript Basic features #141
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…hout support for inc/dec ops Signed-off-by: YingZhu <[email protected]>
Signed-off-by: YingZhu <[email protected]>
This reverts commit 7ce97fa.
Signed-off-by: YingZhu <[email protected]>
Signed-off-by: YingZhu <[email protected]>
Extend the dialect of for statement in Typescript
…hout support for inc/dec ops Signed-off-by: YingZhu <[email protected]>
Signed-off-by: YingZhu <[email protected]>
Signed-off-by: YingZhu <[email protected]>
Signed-off-by: YingZhu <[email protected]>
Julia/tsbasic: Add While loop for Strata
…sponding test Signed-off-by: YingZhu <[email protected]>
Ex10si0n/array
atomb
reviewed
Oct 2, 2025
| def intEqFunc [Coe String Ident] : LFunc Ident := | ||
| binaryPredicate "Int.Eq" .int | ||
| (some (binOpCeval Int Bool LExpr.denoteInt (fun x y => x == y) .bool)) | ||
|
|
There was a problem hiding this comment.
Lambda has a general-purpose .eq constructor that I would think would make this unnecessary. Is there an issue with using that?
There was a problem hiding this comment.
Could you please clarify that we can use the built-in Lambda.LExpr.eq here? See link to code: https://github.com/strata-org/Strata/pull/141/files/9963ca05def0a0856478cb2939fb69cfca7086ac#r2399812517
There was a problem hiding this comment.
Hi Aaron and Shilpi, this is to support the "==" operator based on its original definition.
| "==" => Heap.HExpr.app (Heap.HExpr.app (Heap.HExpr.deferredOp "Int.Eq" none) lhs) rhs.
There was a problem hiding this comment.
We'll focus on === for now.
feat: add support for str.length
Ex10si0n
reviewed
Oct 2, 2025
Yuyang/break in for
[feat] `continue` statement in for loop
Julia/arrowfunc: Arrow function expression
Julia/tsbasic: Enhanced Function - Function Expression
Yuyang/nested func
andrewmwells-amazon
merged commit ff2f248
into
strata-org:typescript-frontend
4 of 5 checks passed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
7 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Issue #, if available:
Description of changes:
Adding support to
while,for,continue, andbreakBy submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.