1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed f4d885c

.

  • Participants
  • Parent commits 5b172de
  • Branches default

Comments (0)

Files changed (1)

File src/cdt.ml

View file
  • Ignore whitespace
     | Tuple destr _utis _constr ->
         let xargs = destr ux in
         let yargs = destr uy in
-        binop_struc_tuple uti "sum type" xargs yargs
+        binop_struc_tuple uti "tuple" xargs yargs
 
     | Record_type destr _utis _fields _constr ->
         let xfields = destr ux in