diff options
| author | Gabriel Kerneis | 2013-12-17 17:58:11 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-17 18:00:28 +0000 |
| commit | b3a18009fd8b90eccc1033c24c4617948a6c2b2d (patch) | |
| tree | f12851ff68a7f99645d607eb1ef30ce1b59e85b1 /src/initial_check.ml | |
| parent | eb5fa9cae19d52d5f3219c20f6ddb1a94b655ea5 (diff) | |
pretty-printer: fix union constructor application
Foo (1,2,3) is stored internally as the function Foo applied to
[1; 2; 3]. We need to add commas when pretty-printing. This should
not affect pretty-printing of regular functions application, since
those always take a single parameter anyway (which may be a tuple).
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions