Improve a particularly unhelpful type error

From:

No type variable 'ex14#

to:

Type error:
[../and_let_bool.sail]:6:19-50
6 |  and_bool(let y : bool = x in not_bool(y), x)
  |           ^-----------------------------^
  | The type variable 'ex14# would leak into an outer scope.
  |
  | Try adding a type annotation to this expression.
  | This error was caused by:
  | [../and_let_bool.sail]:6:23-24
  | 6 |  and_bool(let y : bool = x in not_bool(y), x)
  |   |               ^
  |   | Type variable 'ex14# was introduced here
  |

0 files changed, 0 insertions, 0 deletions