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

Better multiline error logging #7

Open
lancelote opened this issue Jun 12, 2021 · 1 comment
Open

Better multiline error logging #7

lancelote opened this issue Jun 12, 2021 · 1 comment
Labels
enhancement New feature or request

Comments

@lancelote
Copy link
Owner

Example output from SML

sample_test.sml:2.1-2.15 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: bool * bool
  operand:         bool * 'Z[INT]
  in expression:
    <errorvar> = 2 = 2

sml-test will report

sample_test.sml:2.1-2.15 Error: operator and operand do not agree [overload - bad instantiation]
@lancelote lancelote added the enhancement New feature or request label Jun 12, 2021
@lancelote lancelote changed the title Better mismatch type error logging Better multiline error logging Jun 18, 2021
@lancelote
Copy link
Owner Author

See #9 for another case of a multiline error.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant