diff options
| author | johnvg | 2011-02-25 13:34:54 +0000 |
|---|---|---|
| committer | johnvg | 2011-02-25 13:34:54 +0000 |
| commit | 1f96dde0e1f9cedf75c9a6c4491d56ea24a718e0 (patch) | |
| tree | f5ee19d7751f8ffe7bdc8f891039e0b9d42cb7ad /backendC/CleanCompilerSources/overloading.h | |
| parent | remove some unused fields and variables (diff) | |
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1866 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/overloading.h')
| -rw-r--r-- | backendC/CleanCompilerSources/overloading.h | 99 |
1 files changed, 0 insertions, 99 deletions
diff --git a/backendC/CleanCompilerSources/overloading.h b/backendC/CleanCompilerSources/overloading.h index 967f7fe..e69de29 100644 --- a/backendC/CleanCompilerSources/overloading.h +++ b/backendC/CleanCompilerSources/overloading.h @@ -1,99 +0,0 @@ -/* - - Version 1.0 08/25/1994 - - Author: Sjaak Smetsers - -*/ - -/* - -typedef struct member_descriptor -{ - SymbDef md_class; - Symbol md_rule; - -} * MemberDescriptor; - -typedef struct member_item -{ - Bool mi_is_class; - union - { Overloaded mi_u_rule; - SymbDef mi_u_class; - } mi_union; - - struct member_item * mi_next; - -} * MemberItems; - -#define mi_rule mi_union.mi_u_rule -#define mi_class mi_union.mi_u_class - -*/ - -/* - Global variables -*/ - -extern unsigned NrOfOverloadedTypeVars, NrOfOverloadedRules, NrOfUntypedImpRules, - NrOfTypeClasses; - - -/* - Global functions -*/ - -extern int LengthOfPolyList (PolyList list); - -extern PolyList NewPolyListElem (void *elem, PolyList next, HeapDescr hd); - -extern Bool IsSubClass (SymbolList sub_tree, SymbolList whole_list); - -extern void DetermineClassesOfOverloadedTypeVariables (struct type_cell * type_inst); - -extern Bool TryToBindOverloadedTypeVariables (Node appl_node, SymbolList class_symbols, struct type_cell * type_inst); - -extern void CheckInstancesOfTypeClasses (Symbol symbs); - -extern void ConvertTypeClasses (void); - -extern void ConvertTypeContexts (TypeContext type_cont, struct type_cell * typeargs []); - -extern void SetOverloadedTypeVars (int over_arity, TypeContext type_cont, struct type_cell * over_vars []); - -extern void DetermineClassNumber (SymbDef class_symb); - -extern SymbDef CopySymbDef (SymbDef old); - -extern SymbDef NewEmptyRule (Symbol rule_symb, int arity, unsigned line); - -extern Bool EqualTypeClasses (int var_nr1, int var_nr2); - -extern void InitOverloading (void); - -extern FieldList RetrieveClassSelector (SymbolList class_symbols, SymbDef class_symbol); - -extern Types DetermineClassRecord (int nr_of_fields); - -extern Bool InstanceIsExported (struct type_cell * inst_types [], struct type_cell * over_vars [], TypeContext type_cont); - -extern struct type_cell * DetermineDefaultInstance (struct type_cell * over_var, Node over_appl_node); - -extern Bool EqualSymbolList (SymbolList class_symbols1, SymbolList class_symbols2); - -extern Bool ClassesHaveAGenericInstance (SymbolList classes); - -extern struct type_cell * DetermineGenericInstance (struct type_cell * over_var); - -extern SymbolList RebuildClassSymbolList (SymbolList class_symbs, void *alloc (SizeT size)); - -#define cTakeIclDef True -#define cDontTakeIclDef False - -extern void InsertSymbolInSymbolList (SymbolList *symbols, SymbDef new_symbol, Bool take_icl_def, void *alloc (SizeT size)); - -extern void ConvertClassSymbolTreeToList (SymbolList symbols, SymbolList * result_list, void *alloc (SizeT size)); - -extern void CreateRuleType (SymbDef icl_def, TypeAlts imp_type); - |