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

:help command in repl #1237

Merged
merged 2 commits into from
Aug 18, 2019
Merged

:help command in repl #1237

merged 2 commits into from
Aug 18, 2019

Conversation

ejconlon
Copy link
Contributor

@ejconlon ejconlon commented Aug 17, 2019

Resolves #1236 . Yields the following output:

$ stack exec dhall repl
Welcome to the Dhall v1.25.0 REPL! Type :help for more information.
⊢ :help
Type any expression to normalize it or use one of the following commands:
:help
    Print help text and describe options
:type EXPRESSION
    Infer the type of an expression
:hash EXPRESSION
    Hash the normalized value of an expression
:let IDENTIFIER = EXPRESSION
    Assign an expression to a variable
:clear
    Clear all bound variables
:load [FILENAME]
    Load bound variables from a file
:save [FILENAME | FILENAME = EXPRESSION]
    Save bound variables or a given expression to a file
:set OPTION
    Set an option. Currently supported: --explain
:unset OPTION
    Unset an option
:quit
    Exit the REPL
⊢

Happy to follow any process or style guidelines. Also happy to change the wording and formatting of the text.

@ejconlon ejconlon changed the title :help command in repl (#1236) :help command in repl Aug 17, 2019
Copy link
Collaborator

@basile-henry basile-henry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great! 🎉
Thank you for your contribution! 😄

dhall/src/Dhall/Repl.hs Outdated Show resolved Hide resolved
dhall/src/Dhall/Repl.hs Outdated Show resolved Hide resolved
dhall/src/Dhall/Repl.hs Outdated Show resolved Hide resolved
dhall/src/Dhall/Repl.hs Outdated Show resolved Hide resolved
.cache
.history
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

.history comes from the repl and stack.yaml.lock comes from newer stack versions, I guess.

Copy link
Collaborator

@basile-henry basile-henry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

Copy link
Collaborator

@basile-henry basile-henry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 (oops, didn't mean to approve twice)

@mergify mergify bot merged commit 96c94dd into dhall-lang:master Aug 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

:help command in repl
2 participants