Closed patrick-nicodemus closed 4 months ago
I found that a small typo of accidentally omitting a polymorphic type annotation can crash the compiler.
module type abc = { type x 'a val y : x a }
Here there should be an 'a after y, but there should be a more graceful error handling.
'a
y
I found that a small typo of accidentally omitting a polymorphic type annotation can crash the compiler.
Here there should be an
'a
aftery
, but there should be a more graceful error handling.