Commit Graph

184 Commits

Author SHA1 Message Date
34c7d244ce Merge branch 'main' into add-exceptions 2025-10-31 17:04:54 +00:00
c883854187 Merge branch 'main' into try-catch-throw-finally 2025-10-31 16:53:01 +00:00
f31be80bb0 fix dotget 2025-10-29 21:37:45 -07:00
789481f4ef [a b] = [1 2 3] 2025-10-29 19:13:03 -07:00
a8fd79a990 push/pop/shift/unshift (and fix sort() 2025-10-29 19:05:49 -07:00
bc0684185a Add += and friends 2025-10-29 15:49:59 -07:00
e60e3184fa less chatty 2025-10-29 15:37:39 -07:00
f8d2236292 add exceptions to prelude functions 2025-10-29 15:36:18 -07:00
4f961d3039 test native exceptions 2025-10-29 15:29:07 -07:00
d957675ac8 there are always StringFragments 2025-10-29 15:15:35 -07:00
9bc514a782 implicit function-level try blocks 2025-10-29 14:51:50 -07:00
701ca98401 try/catch/throw/finally 2025-10-29 14:22:57 -07:00
6ca8d05c66 typo 2025-10-29 13:26:04 -07:00
1053a5ff52 Make dot-get work in the compiler AND with parens exprs 2025-10-29 13:19:47 -07:00
d939322f6e shh 2025-10-29 13:14:37 -07:00
92ce43b508 dict.set 2025-10-29 13:12:40 -07:00
c51030b3bd sure 2025-10-29 12:50:56 -07:00
e95c0d6728 use bun's equal check 2025-10-29 12:50:09 -07:00
1a3f1c6c43 tweak describe 2025-10-29 12:28:51 -07:00
a21ba54ad7 describe? 2025-10-29 12:21:11 -07:00
4fb58483f0 split up prelude modules 2025-10-29 12:13:56 -07:00
9e38fa7a44 globalFunctions => globals 2025-10-29 12:04:14 -07:00
3c06cac36c more prelude functions 2025-10-29 11:34:04 -07:00
51b64da106 update conditional tests 2025-10-29 11:21:24 -07:00
0dbba4d847 allow conditionals at statement-level 2025-10-29 11:21:16 -07:00
34305b473e switch back to using == 2025-10-29 11:18:47 -07:00
fd197a2dfc fix or/and chaining 2025-10-29 11:14:11 -07:00
ced190488a Add % operator 2025-10-29 10:58:48 -07:00
d843071bee prelude tests 2025-10-29 10:53:35 -07:00
40a648cd19 allow ? in identifier name 2025-10-29 10:38:57 -07:00
07ffc7df97 str.trim and friends, list.map and friends 2025-10-29 10:21:20 -07:00
3496b29072 tell the parser about builtin global functions 2025-10-29 10:18:19 -07:00
0eca3685f5 spruce up tests 2025-10-28 22:31:36 -07:00
Chris Wanstrath
dd2edb6dda prelude tests 2025-10-28 22:25:41 -07:00
b738e6cfd1 use -> load 2025-10-28 22:23:49 -07:00
bf1196bf96 use works more like fn, for now 2025-10-28 22:20:03 -07:00
f25ec024c2 further activate dotget 2025-10-28 22:18:46 -07:00
f08b16824a Merge branch 'list-and-dict-literals' into prelude 2025-10-28 21:52:55 -07:00
e1ba9c630d important note 2025-10-28 21:52:45 -07:00
b03610761b shh 2025-10-28 21:52:15 -07:00
3a04970dca need you 2025-10-28 21:38:34 -07:00
2ff4615aab use module 2025-10-28 21:38:34 -07:00
d3e83e17b2 narrow type 2025-10-28 21:38:32 -07:00
35e6b63499 better echo 2025-10-28 21:37:39 -07:00
62036b1e4b start on a prelude of builtin functions 2025-10-28 21:37:39 -07:00
8112515278 [ = ] 2025-10-28 21:18:24 -07:00
982054eb54 [a=1 b=2 c=3] and [=] (empty dict) 2025-10-28 21:10:33 -07:00
34c1177636 more tests 2025-10-28 17:03:41 -07:00
339c09eb8c compile array literals 2025-10-28 16:47:33 -07:00
7da4c14962 parse arrays 2025-10-28 16:30:45 -07:00
Chris Wanstrath
7a4affd01e globals, not global functions 2025-10-28 13:08:51 -07:00
c032192d61 Functions returned by parens expr can be called 2025-10-27 15:17:38 -07:00
c6c2646366 Do do 2025-10-27 14:50:54 -07:00
318142dfbb Update shrimp.ts 2025-10-27 12:45:59 -07:00
ffdd666685 Merge remote-tracking branch 'origin/main' into dotget-function-calls 2025-10-27 12:45:53 -07:00
0fc1f9f895 Merge pull request 'allow more unicode in variable names' (#8) from more-unicode-variable-names into main
Reviewed-on: #8
2025-10-27 19:43:55 +00:00
6c8c07e869 Update shrimp.ts 2025-10-27 12:36:29 -07:00
2fcd840493 Merge remote-tracking branch 'origin/main' into multiline-fn 2025-10-27 12:36:12 -07:00
28fab1235c Works with blank lines 2025-10-27 12:07:13 -07:00
6e432dd7a1 Made it work 2025-10-27 11:30:49 -07:00
050acbfaeb Merge remote-tracking branch 'origin/main' into single-line-if 2025-10-27 10:54:33 -07:00
219142140c compile dot number too 2025-10-26 22:32:07 -07:00
972fd25fda update params scope detection, add array.1 (dotget array indices) 2025-10-26 22:23:46 -07:00
abd7d2e43b DotGet function calls 2025-10-26 16:28:56 -07:00
7cf7ac3703 allow more unicode in variable names 2025-10-26 13:03:17 -07:00
299ad2c9a9 failing test for multiline function 2025-10-25 20:15:55 -07:00
e4100c7d89 failing single line if test 2025-10-25 19:51:57 -07:00
dba8430d9a Add # comments 2025-10-25 19:18:27 -07:00
e3b941d5f2 Merge pull request 'bun run repl' (#2) from repl into main
Reviewed-on: #2
2025-10-26 00:24:44 +00:00
035ec47885 allow func defs in parens 2025-10-25 17:22:26 -07:00
5988e75939 bun run repl 2025-10-25 10:21:00 -07:00
5234ad9a73 better stuff 2025-10-25 09:53:45 -07:00
d306d58b2f now it is do 2025-10-24 14:04:50 -07:00
7077762738 great stuff 2025-10-24 14:02:29 -07:00
66671970e0 i did things 2025-10-24 10:17:06 -07:00
82cd199ed8 wip 2025-10-22 11:23:11 -07:00
0f7d3126a2 workin' 2025-10-19 10:18:52 -07:00
78ae96fc72 wip 2025-10-17 21:13:49 -07:00
b0d5a7f50c refactor(scope): add helper methods to ScopeContext for cleaner code 2025-10-17 19:38:32 -07:00
4619791b7d test: update test expectations for AssignableIdentifier token
Updated all parser and compiler tests to expect AssignableIdentifier
tokens in Assign and Params contexts instead of Identifier. Also
skipped pre-existing failing native functions test.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 19:10:40 -07:00
aee9fa0747 refactor(scope): simplify trackScope to only track AssignableIdentifier
- Update trackScope ContextTracker to use ScopeContext wrapper
- Simplify shift() to only capture AssignableIdentifier tokens
- Simplify reduce() to handle only Assign, Params, and FunctionDef
- Update hash function to use hashScope helper
- Export ScopeContext class for use in tokenizer
- Update tokenizer to access scope via ScopeContext.scope

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 18:43:11 -07:00
7de1682e91 feat(scope): add ScopeContext wrapper for pending identifiers
🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 18:39:34 -07:00
2fc321596f refactor(scope): simplify Scope class, remove pending state
- Remove pendingIdentifiers and isInParams from constructor
- Fix has() method null coalescing bug
- Simplify add(), push(), pop() methods
- Remove withPendingIdentifiers, withIsInParams, clearPending methods
- Simplify hash() to only hash vars and parent (not pending state)
- Make pop() return this instead of creating new Scope when no parent

This creates a pure, hashable Scope class that only tracks variable
scope chain. Temporary state (pending identifiers) will be moved to
ScopeContext wrapper in next task.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 18:38:19 -07:00
1e6fabf954 feat(tokenizer): use canShift to emit AssignableIdentifier vs Identifier 2025-10-17 18:34:57 -07:00
b2c5db77b2 feat(parser): add AssignableIdentifier token type to grammar
🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 18:33:35 -07:00
a652f83b63 refactor(parser): move pendingIdentifiers and isInParams into Scope class
Replace module-level mutable state with immutable state managed within the Scope
class itself. This eliminates state leakage between parser invocations and makes
the code more functional and predictable.

Changes:
- Add pendingIdentifiers and isInParams as Scope constructor parameters
- Add helper methods: withPendingIdentifiers(), withIsInParams(), clearPending()
- Update hash() to include new state fields
- Convert all mutable state operations to return new Scope instances
- Remove module-level variables entirely

Benefits:
- No state leakage between tests or parser invocations
- Easier to reason about - state is explicit in the context
- More functional programming style with immutable updates
- Eliminates entire class of bugs related to stale module state

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 10:46:52 -07:00
a33f6cd191 fix(parser): clear pendingIdentifiers after FunctionCall to prevent test state leakage
The scope tracker uses module-level state (pendingIdentifiers) that was not being
cleared after FunctionCall reductions, causing identifier state to leak between
tests. This caused the test 'readme.txt is Word when used in function' to break
the following test by leaving 'echo' in pendingIdentifiers.

- Add FunctionCall to the list of terms that clear pendingIdentifiers
- Un-skip the previously failing test 'readme.txt is Word when used in function'

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 10:44:14 -07:00
8a29090364 fix(parser): make DotGet whitespace-sensitive
- Add IdentifierBeforeDot token emitted when identifier immediately precedes '.'
- Move DotGet into @skip {} block using IdentifierBeforeDot
- Prevents 'basename . prop' from parsing as DotGet
- Allows 'basename.prop' to work as expected when identifier is in scope
- Fixes test: 'a word can be contained in parens'

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 10:40:28 -07:00
d894713744 feat(parser): complete DotGet implementation with scope tracking
- Fixed tokenizer input.read() to use absolute positions
- Fixed FN_KEYWORD term ID (33 after DotGet added to expression)
- Added DotGet to expression for use as function argument
- All 8 DotGet tests passing

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-17 07:42:07 -07:00
22fba65a53 refactor(parser): rename PropertyAccess to DotGet
Aligns naming with ReefVM's DOT_GET opcode and better represents
that this syntax works for both dicts and arrays.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-16 18:10:21 -07:00
7e819f9c67 feat(parser): add scope-aware dot operator tokenization
🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-16 17:47:50 -07:00
219397339c feat(parser): add scope tracking context tracker
🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-16 17:47:01 -07:00
863163d01e feat(parser): add PropertyAccess grammar rule
🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-10-16 17:14:48 -07:00
3cd1936de4 wip 2025-10-16 16:13:16 -07:00
e8a1befdcc regex and null 2025-10-16 13:51:50 -07:00
80e489f55d regexs work! 2025-10-16 09:35:31 -07:00
de36b0a711 Cool dude! 2025-10-15 16:47:42 -07:00
d9bc5a64a4 wip 2025-10-15 16:18:18 -07:00
fe7abb8b21 wip 2025-10-15 08:45:37 -07:00
57711c4e89 wip 2025-10-14 16:45:45 -07:00