Original bug ID: 5425
Reporter: @garrigue
Assigned to: @garrigue
Status: closed (set by @garrigue on 2011-12-15T02:28:39Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.13.0+dev
Fixed in version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #5427
Child of: #5428 #5998

Bug description

Je te joins deux fichiers avec des GADTs qui font soit crasher le
typeur, soit produire un message d'erreur pour le moins singulier. Si
tu préfères que je te fasse passer ça par mantis plutôt que par mail,
dis le moi.

Alexandre

File attachments

• bug2.ml