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

Improve the output #3

Open
dee-me-tree-or-love opened this issue Mar 6, 2023 · 0 comments
Open

Improve the output #3

dee-me-tree-or-love opened this issue Mar 6, 2023 · 0 comments
Assignees
@dee-me-tree-or-love

Comments

@dee-me-tree-or-love
Copy link
Owner

dee-me-tree-or-love commented Mar 6, 2023 •
edited
Loading

What

The current output is raw Haskell data structures, which are not as readable as well-formatted plain text.

Example

$ pollukcal-cli exec --eval "~~ Text + cup cake"
"Right (TextResult \"cupcake\")"

$ pollukcal-cli exec --infer "~~ Text + cup cake"
"Just (STypeHint \"Text\")"

$ pollukcal-cli exec --check "~~ Text + cup cake"
"Right (Just (STypeHint \"Text\"),\"Inferred type is: Just (STypeHint \\\"Text\\\"), specified: Just (STypeHint \\\"Text\\\")\")"

Aimed

$ pollukcal-cli exec --eval "~~ Text + cup cake"
🪄 cupcake

$ pollukcal-cli exec --infer "~~ Text + cup cake"
👀 Resolved type: Text

$ pollukcal-cli exec --check "~~ Text + cup cake"
👀 Resolved type: Text
🔬 Type checking: ✅

And allow for the original
@dee-me-tree-or-love dee-me-tree-or-love self-assigned this Mar 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dee-me-tree-or-love dee-me-tree-or-love

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dee-me-tree-or-love