diff options
| author | johnvg | 2007-04-13 10:19:33 +0000 |
|---|---|---|
| committer | johnvg | 2007-04-13 10:19:33 +0000 |
| commit | 89bcff9652fe4421ce9672806effb2956a2480c3 (patch) | |
| tree | 1ddd845331724259d3f54bb718baed290e9bff26 /frontend/type.dcl | |
| parent | implement {# and {! in array comprehensions that create a new array (diff) | |
implement newtype
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index f7d998b..c636c8b 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -24,9 +24,10 @@ class unify a :: !a !a !TypeInput !*{! Type} !*TypeHeaps -> (!Bool, !*{! Type}, instance unify AType :: TypeInput = - { ti_common_defs :: !{# CommonDefs } + ! { ti_common_defs :: !{# CommonDefs } , ti_functions :: !{# {# FunType }} , ti_main_dcl_module_n :: !Int + , ti_expand_newtypes :: !Bool } class arraySubst type :: !type !u:{!Type} -> (!Bool,!type, !u:{! Type}) |