diff options
| author | alimarin | 2001-03-28 09:25:24 +0000 |
|---|---|---|
| committer | alimarin | 2001-03-28 09:25:24 +0000 |
| commit | f88a0e14d138c959bd31acd6e8cbcab33754389d (patch) | |
| tree | 4861d4bbebba818bddb972f68f4e5f1210ea97b6 /frontend/type.dcl | |
| parent | uniqueness support is added to generics (diff) | |
uniqueness support is added to generics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@346 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index 621ba84..e28ff04 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -10,9 +10,6 @@ typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !Common addPropagationAttributesToAType :: {#CommonDefs} !AType !*PropState -> *(!AType,Int,!*PropState); -buildCurriedType :: [AType] AType TypeAttribute [AttrCoercion] Int - -> (AType,[AttrCoercion],Int) // AA: exported from the module - :: PropState = { prop_type_heaps :: !.TypeHeaps , prop_td_infos :: !.TypeDefInfos |