Miscellaneous improvements for Nockma debugging #2714

paulcadman · 2024-04-09T17:23:35Z

Each commit in this PR is a separate improvement.

Tag any Term with a string instead of just cells using @. e.g "myTag" @ opCall ...
:dump FILE in the nockma REPL to dump the last REPL result to a file.
More tagging in the pretty nockma output.

paulcadman added 7 commits April 9, 2024 18:10

Add :dump command to Nockma repl

9896250

Include cell tag in pretty output

0b0732a

Remove unused nockNilUntagged

fd94aa1

Allow to tag a term, cell or an atom

f17faba

Allow to pass a tag to replaceArgsWithTerm

c049bbc

Label function calls and definitions with their name

cdb7916

Use "the_functionsLibrary" as the label for compiled functions

f4ceecf

paulcadman added the backend:nockma label Apr 9, 2024

paulcadman added this to the 0.6.2 milestone Apr 9, 2024

paulcadman self-assigned this Apr 9, 2024

paulcadman requested a review from janmasrovira April 9, 2024 17:24

paulcadman mentioned this pull request Apr 9, 2024

Double substitute the Nockma functions placeholder in the main function #2715

Merged

Add missing record field

84a2d5d

janmasrovira self-assigned this Apr 10, 2024

janmasrovira approved these changes Apr 10, 2024

View reviewed changes

paulcadman merged commit 56d55bf into main Apr 10, 2024
4 checks passed

paulcadman deleted the misc-nockma-improvements branch April 10, 2024 09:11

Provide feedback