diff options
Diffstat (limited to 'frontend/syntax.icl')
| -rw-r--r-- | frontend/syntax.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index ba7de81..75ddda5 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -436,8 +436,8 @@ where = file <<< "TCE_Var " <<< info_ptr (<<<) file (TCE_TypeTerm info_ptr) = file <<< "TCE_TypeTerm " <<< info_ptr - (<<<) file (TCE_Constructor index cons exprs) - = file <<< "TCE_Constructor " <<< index <<< ' ' <<< exprs + (<<<) file (TCE_Constructor cons exprs) + = file <<< "TCE_Constructor " <<< ' ' <<< exprs (<<<) file (TCE_Selector selectors info_ptr) = file <<< "TCE_Selector " <<< selectors <<< "VAR " <<< info_ptr (<<<) file (TCE_UniType vars type_code) |