*** Error: File "typeSugar.ml", line 1168, characters 32-38: Assertion failed about links HOT 2 CLOSED

On the contrary, this error message is almost as helpful as it could be. An assertion failure means that an internal invariant of Links has been violated and points to the line of code where something that should never happen did happen. Admittedly, some instances of 'assert false' are also places where we've just not got round to implementing something. We could catch the exceptions resulting from assert false and say something like "internal error", but really that would only change things superficially.

Perhaps a first year PhD student would like to track down and fix error messages in Links ;-)

Looking at that line of code, I'm not quite sure a) why there's an assert false there, or b) what a correct implementation would look like. If you give me a minimal failing example then that would help. (A quick fix is simply to replace 'assert false' with 't', but I'm not sure if that's the right thing to do.)

from links.

You're right of course, but you're also looking at it from the perspective of the Links implementer. To the Links user that assertion failure is just as useful as "internal error", which is not very useful at all.

Well, this one first year PhD student I know thought he could get away with just being a user for now, but it's not working out for him... ;-)

I'll see what I can do about a minimized example.

from links.