Some fix

[dinosaure]

• We add a compare function as pretty-printer function for any value in Parsetree and Typedtree module - and be able to properly compare value instead to use Pervasives.compare.
• We add a pretty-printer on Typedtree.Expr.t
• To let the user to write this kind of code: [ my_var; ... ] or [| my_var |], we add 2 constructors in the internal GADT. Cons for a list (as a binary operator) and Nar and Arr for a n-ary constructor (Nar) which can be used to create an array Arr
• We fixed a TODO and un-type a Switch
• Most important we avoid any exception leak and add a new error: UnboundVariable specially to know when a fuzzer produce a bad code

Then, this is a base for the fuzzer next (soon).

[samoht]

Why do you need cmp? Isn't equal enough for fuzzin/testing?

[dinosaure]

Hmmhmm, it's an optional argument of check_eq of crowbar. So, we can delete it but it seems a good feature.

[samoht]

You could just provide the eq function (which is much easier to write than compare)

[dinosaure]

Done 👍 !

[samoht]

Thanks!