Commit 38ac05e
fix(repl): silently skip comment lines starting with #
Comments (lines starting with #) were being treated as commands and
producing "Command not found" errors. Now properly skipped in REPL.
Changes:
- REPL: Skip lines starting with # (along with empty lines)
- Parser: Reject comment lines with "Empty command" error
- Add test for comment line rejection
Test results: 70 unit tests passed (+1 new test)
Fixes seam identified in manual testing.
Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>1 parent 62e231e commit 38ac05e
956 files changed
Lines changed: 1558 additions & 3410 deletions
File tree
- .github
- workflows
- .machine_readable
- docs
- ffi/rust
- impl
- elixir
- _build
- dev/lib
- earmark_parser
- .mix
- ebin
- elixir_make
- .mix
- ebin
- ex_doc
- .mix
- ebin
- jason
- .mix
- ebin
- makeup_elixir
- .mix
- ebin
- makeup_erlang
- .mix
- ebin
- makeup
- .mix
- ebin
- nimble_parsec
- .mix
- ebin
- vsh
- .mix
- consolidated
- ebin
- test/lib
- elixir_make
- .mix
- ebin
- jason
- .mix
- ebin
- vsh
- .mix
- consolidated
- ebin
- deps
- earmark_parser
- elixir_make
- lib
- elixir_make
- downloader
- mix/tasks
- ex_doc
- jason
- makeup_elixir
- makeup_erlang
- makeup
- nimble_parsec
- lib/vsh
- test
- rust-cli
- src
- target
- debug
- .fingerprint
- allocator-api2-302c8aaff85fe901
- anstream-ac99c5c12d3c7aee
- anstyle-abcb25e3dde70769
- anstyle-parse-926948edb075e3f4
- anstyle-query-73fe42fb77c51cb0
- anyhow-514e94604e57560e
- anyhow-5eeff344f551b50f
- anyhow-e1830ac0a1147c61
- autocfg-3b49e0afa777d415
- bitflags-d6b73c956113621d
- bytes-bed3f7f1f917de81
- cassowary-12456f031c31e0a9
- cfg-if-2262c59ed30cbfdf
- colorchoice-e4a0c70eb199cf46
- colored-0faa21e5507b9ae0
- either-9a78d543324cf6ff
- equivalent-3ff77df1ac69f53a
- foldhash-abf39bc0971f8ebd
- getrandom-0054371bf7b99291
- getrandom-79b705722eb3fb45
- hashbrown-442e9194e2875e37
- heck-20e948fc986d72b6
- heck-88cc6c4a41ddc6f3
- indoc-6344f3ee413f10e0
- is_terminal_polyfill-2a2616ab4e156c2c
- itertools-333b19e83cafecc5
- itoa-58f88d7481f2effe
- lazy_static-87c02066b6621a70
- lock_api-9fd6913848ac39ce
- log-853433100b10785a
- lru-fe6d05144251596c
- memchr-3dd7c4eee1e54167
- num-traits-13da7cb12d60f597
- num-traits-691f21aeab2a5193
- num-traits-e6a9bd2e3372d362
- option-ext-a93c7cec780bc445
- parking_lot_core-a3c039569b8f43c6
- parking_lot_core-b32c7a16e0905562
- paste-9245072c691d01c9
- paste-de1ab307929da351
- paste-eca74fcf65bbc237
- pin-project-lite-8ceaaa5d1655a324
- rustversion-1aa62060b018d449
- rustversion-40be1d7cd574670a
- rustversion-4d54e02e1efb0411
- scopeguard-cfa69166bd4da734
- serde-4c6639c325e28d82
- serde-77bdd74bab5807b0
- serde_core-0239ce017d00b9f5
- serde_core-b09189df0b0454e9
- serde_core-c44f039cd676198c
- signal-hook-a4c773d0271420c7
- signal-hook-cb0b34d04ab5dbc3
- smallvec-83ffde712cc68410
- strsim-5cdf9c8c121387d0
- syn-e6b2105ef72c534e
- syn-f772270f3ea97685
- thiserror-360a2b8fbf6ad95b
- thiserror-faab551a6ed83879
- unicode-ident-12c495887fb81e30
- unicode-segmentation-745c28ea3c19c6e9
- unicode-width-a614de29542a0d82
- utf8parse-97e8d7c35760ee10
- build
- anyhow-5eeff344f551b50f
- anyhow-e1830ac0a1147c61
- getrandom-0054371bf7b99291
- getrandom-79b705722eb3fb45
- libc-437ff09f19b669dd
- num-traits-13da7cb12d60f597
- num-traits-e6a9bd2e3372d362
- parking_lot_core-a3c039569b8f43c6
- parking_lot_core-b32c7a16e0905562
- paste-9245072c691d01c9
- paste-eca74fcf65bbc237
- proc-macro2-7dbfc7e450e58b2e
- quote-f14c48d1c4fb57ce
- rustversion-1aa62060b018d449
- out
- rustversion-40be1d7cd574670a
- serde-4c6639c325e28d82
- serde-77bdd74bab5807b0
- serde_core-b09189df0b0454e9
- serde_core-c44f039cd676198c
- serde_json-81ae7dee27ba8e6b
- signal-hook-a4c773d0271420c7
- signal-hook-cb0b34d04ab5dbc3
- syn-e6b2105ef72c534e
- syn-f772270f3ea97685
- thiserror-360a2b8fbf6ad95b
- thiserror-faab551a6ed83879
- deps
- release
- .fingerprint
- allocator-api2-180779e432bf21f3
- anstream-73d9f21fef3a0774
- anstyle-a48b0b973be75f01
- anstyle-parse-84bf18e85c7e1684
- anstyle-query-7edf3175ae7a5fff
- anyhow-aeb342a7927e7651
- anyhow-e7113b68563e4882
- anyhow-eed24f6551a3e544
- autocfg-bde4f3fb88940f9a
- bitflags-6fa0ce85f067144a
- bytes-e77338d1824efcd8
- cassowary-013b8a242d26b227
- cfg-if-00df3f8434ea1801
- colorchoice-008402f75ea666cc
- colored-0b667acd24d821f3
- either-403e29d98281d77a
- equivalent-17001add8b2ea86f
- foldhash-510eb40639878be4
- getrandom-1e321e6255daf437
- getrandom-6437dfcc2d04e90c
- hashbrown-0d6505b4f5dea6e9
- heck-c8e8633f4466e1b3
- heck-ed0ea2f2bf4b8cf6
- indoc-44ddb5e129326387
- is_terminal_polyfill-6b879379a9ee33ac
- itertools-7a68ce5783fbb2aa
- itoa-43ed0adbe6b8f784
- lazy_static-30ad9ebe54dcf11e
- lock_api-5ef7cb44294973fe
- log-81b14fbfb0d5d79c
- lru-500d61b0162983ef
- memchr-001c382afc472bf9
- num-traits-88d464d2e1465470
- num-traits-d242cfc2a77b11a6
- num-traits-e74a3787128ae03d
- option-ext-570e2c1dc59dc3bf
- parking_lot_core-87b962a6df532b22
- parking_lot_core-f78659791e1b82d7
- paste-6aa1f7d8f8f7b6b0
- paste-b7d4d40419876e09
- paste-e6e156b4ddefb02b
- pin-project-lite-447e3d7273a256bf
- rustversion-9a81e8c493f464ad
- rustversion-9fdbda404036a67b
- rustversion-cf5ffece16c6edda
- scopeguard-483a476509943e1b
- serde-253c55ed8ca08501
- serde-f70136c0c16f4e9a
- serde_core-396c14aa17a56c2a
- serde_core-5a3830055c86a7e9
- serde_core-ded960e99f294703
- signal-hook-5133385fe492f242
- signal-hook-7029537d26369aa4
- smallvec-b6cf7bcd9b936b38
- strsim-c4a220b2f5569802
- syn-8853434778f687ff
- syn-a05023127f530060
- thiserror-091c90b6d445ea20
- thiserror-9509b50c2e294609
- unicode-ident-13f801a7bdc85a10
- unicode-segmentation-b1be0956d8fec292
- unicode-width-e0becdd47cd696c9
- utf8parse-46ed09b386adcec1
- build
- anyhow-aeb342a7927e7651
- anyhow-eed24f6551a3e544
- getrandom-1e321e6255daf437
- getrandom-6437dfcc2d04e90c
- libc-f9f278729c659c02
- num-traits-d242cfc2a77b11a6
- num-traits-e74a3787128ae03d
- parking_lot_core-87b962a6df532b22
- parking_lot_core-f78659791e1b82d7
- paste-6aa1f7d8f8f7b6b0
- paste-e6e156b4ddefb02b
- proc-macro2-b6922a78eff494c8
- quote-e13c88a41de7e827
- rustversion-9a81e8c493f464ad
- out
- rustversion-9fdbda404036a67b
- serde-253c55ed8ca08501
- serde-f70136c0c16f4e9a
- serde_core-396c14aa17a56c2a
- serde_core-ded960e99f294703
- serde_json-dd175b2836bf6d97
- signal-hook-5133385fe492f242
- signal-hook-7029537d26369aa4
- syn-8853434778f687ff
- syn-a05023127f530060
- thiserror-091c90b6d445ea20
- thiserror-9509b50c2e294609
- deps
- rust-ffi
- zig/src
- proofs/lean4/.lake
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments