diff options
Diffstat (limited to 'frontend/genericsupport.dcl')
| -rw-r--r-- | frontend/genericsupport.dcl | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/frontend/genericsupport.dcl b/frontend/genericsupport.dcl index 56a51c0..e1ec5ad 100644 --- a/frontend/genericsupport.dcl +++ b/frontend/genericsupport.dcl @@ -1,6 +1,6 @@ definition module genericsupport -import syntax, checksupport +import syntax lookupGenericClassInfo :: !TypeKind @@ -51,3 +51,15 @@ genericIdentToClassIdent :: !String !TypeKind -> Ident genericIdentToMemberIdent :: !String !TypeKind -> Ident genericIdentToFunIdent :: !String !TypeCons -> Ident kind_to_short_string :: !TypeKind -> {#Char} + +field_n_of_GenericTypeDefDescriptor :: !String -> Int +field_n_of_GenericConsDescriptor :: !String -> Int +field_n_of_GenericFieldDescriptor :: !String -> Int +field_n_of_GenericRecordDescriptor :: !String -> Int + +field_0_name_of_generic_info :: !Int -> String +field_1_name_of_generic_info :: !Int -> String +field_2_name_of_generic_info :: !Int -> String +field_3_name_of_generic_info :: !Int -> String +field_4_name_of_generic_info :: !Int -> String +field_5_name_of_generic_info :: !Int -> String |