search

lancelote / sml-test

Bare-bones Standard ML test runner
MIT License
1 stars 0 forks source link

Better multiline error logging #7

Open lancelote opened 3 years ago

lancelote commented 3 years ago

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 commented 3 years ago

See https://github.com/lancelote/sml-test/issues/9 for another case of a multiline error.