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.

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

Literate repl tests #10075

Closed
wants to merge 10 commits into from
Closed

Literate repl tests #10075

wants to merge 10 commits into from

Commits on Feb 28, 2024

  1. Configuration menu
    Copy the full SHA
    f6158ea View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Configuration menu
    Copy the full SHA
    76aced6 View commit details
    Browse the repository at this point in the history
  2. refactor: move readline stuff into its own file

    This is in direct preparation for an automation mode of nix repl.
    lf- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    70a6ce1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ea31b8a View commit details
    Browse the repository at this point in the history
  4. Implement a parser for a literate testing system for the repl

    This parser can be reused for other purposes. It's inspired by
    https://bitheap.org/cram/
    
    Although eelco's impostor exists https://github.com/mobusoperandi/eelco,
    it is not very nice to depend on out of tree testing frameworks with no
    way to customize them.
    lf- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    9bbf0ad View commit details
    Browse the repository at this point in the history
  5. Implement a repl characterization test system

    This allows for automating using the repl without needing a PTY, with
    very easy to write test files.
    lf- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    103a367 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    f24aea2 View commit details
    Browse the repository at this point in the history
  7. repl_characterization: eat newlines after commands and source-dir paths

    This is because they are unrepresentable in the source files with
    commentary but not in the output, so we should just eat them in
    normalization. It's ok.
    lf- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    b6b5272 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    36ca1c0 View commit details
    Browse the repository at this point in the history
  9. Test that :st does ... something

    lf- committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    62eecdb View commit details
    Browse the repository at this point in the history