On 2017-06-15 11:58, Thomas Burdick via fstar-club wrote: > Has anyone looked at making more readable gensyms? Having sensible prefixes > and smaller counter values would help readability a lot.
I considered a slightly different approach at some point: prettifying the printed types to hide the numbers. Of course, hiding them entirely doesn't work (it changes the meaning when there are multiple distinct inferred types), but maybe there's something there? Suggestions welcome. Btw, how were you printing the types? Clément. _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
