Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add nockma evaluator #2564

Merged
merged 38 commits into from
Jan 11, 2024
Merged

Add nockma evaluator #2564

merged 38 commits into from
Jan 11, 2024

Commits on Jan 11, 2024

  1. Add nockma evaluator

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    8ffd92b View commit details
    Browse the repository at this point in the history

  2. add pretty printer for Nockma

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    8dd01d3 View commit details
    Browse the repository at this point in the history

  3. improve formatting

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f6ef344 View commit details
    Browse the repository at this point in the history

  4. Add parser for nockma

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    92ff10c View commit details
    Browse the repository at this point in the history

  5. Fix formatting

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f005395 View commit details
    Browse the repository at this point in the history

  6. Support hoon dotted numbers in the nockma parser 

    The nockma standatd library contains numbers like 1.953.718.630
    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    743dddd View commit details
    Browse the repository at this point in the history

  7. Add nockma parser/prettyprint tests

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f338374 View commit details
    Browse the repository at this point in the history

  8. Extract nockma evaluator to a separate file

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    8139c6f View commit details
    Browse the repository at this point in the history

  9. Fix opcode parsing

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    bd04373 View commit details
    Browse the repository at this point in the history

  10. Allow nockma parsing of single atoms

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    3f0ccb1 View commit details
    Browse the repository at this point in the history

  11. Export error from Nockma evaluator

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e8f05ec View commit details
    Browse the repository at this point in the history

  12. Add parser and printer for pretty nock syntax

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    11056ef View commit details
    Browse the repository at this point in the history

  13. Nockma evaluation of an atom is an error

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f91c095 View commit details
    Browse the repository at this point in the history

  14. Parse nockma directions as a string of L and Rs

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    857f99e View commit details
    Browse the repository at this point in the history

  15. Remove unused Nock eval errors

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f1765c7 View commit details
    Browse the repository at this point in the history

  16. Add juvix dev nocma repl command

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    dc754d8 View commit details
    Browse the repository at this point in the history

  17. Add S direction to refer to whole stack

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    b454cdd View commit details
    Browse the repository at this point in the history

  18. nockma: render the empty direction as "S"

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    35fd73a View commit details
    Browse the repository at this point in the history

  19. add Nockma programs and extend the repl

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    c93ba39 View commit details
    Browse the repository at this point in the history

  20. Several REPL improvements

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    dffa2fb View commit details
    Browse the repository at this point in the history

  21. add class to conveniently write nock cells

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    eb579db View commit details
    Browse the repository at this point in the history

  22. simplify class to improve inference

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    b411ed9 View commit details
    Browse the repository at this point in the history

  23. Position -> Path as a list of directions

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    b765a7f View commit details
    Browse the repository at this point in the history

  24. Add emptyPath

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    dd0b544 View commit details
    Browse the repository at this point in the history

  25. EncodedPath is now a newtype

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f79b8c6 View commit details
    Browse the repository at this point in the history

  26. serializePathNatural -> encodePath

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    a973a45 View commit details
    Browse the repository at this point in the history

  27. Add decodePath'

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    163dd50 View commit details
    Browse the repository at this point in the history

  28. Add AtomHintNil for nil in 'lists'

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    8121141 View commit details
    Browse the repository at this point in the history

  29. Minimize delims in ppTrace

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f8c047f View commit details
    Browse the repository at this point in the history

  30. repl: Parse nil and require eof after parsed expr

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    32215fd View commit details
    Browse the repository at this point in the history

  31. Add symbol to read anoma/nock stdlib

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    3006558 View commit details
    Browse the repository at this point in the history

  32. Use TH to read nock stdlib

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    4c4183a View commit details
    Browse the repository at this point in the history

  33. Include nock stdlib as text literal so it can be used in a lib

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    147d10f View commit details
    Browse the repository at this point in the history

  34. Fix parsing of space before nock term

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    726dc2d View commit details
    Browse the repository at this point in the history

  35. add QQ for nockma terms

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    427d0c6 View commit details
    Browse the repository at this point in the history

  36. rm redundant import

    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    9bb9f47 View commit details
    Browse the repository at this point in the history

  37. Add unit tests for nockma evaluator

    @paulcadman @lukaszcz
    paulcadman authored and lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    03083ca View commit details
    Browse the repository at this point in the history

  38. update cntlines.sh

    @lukaszcz
    lukaszcz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    956fcad View commit details
    Browse the repository at this point in the history