Hi,

can't you just say that you spotted a problem in the proposed solution instead of being so aggressive?

Removing all the useless sentences of your message just leave this:

Le 9 oct. 09 à 16:18, Damien Guichard a écrit :

Imagine my code is:
 
  type color = int
 
  let black : color = 0 
 
Then, following your proposition, evaluating black should give me an int rather than a color because int is shorter and therefore nicer.


which is indeed relevant and exposes a problem not faced in the previous mails.

Thanks,
V.