diff options
| author | johnvg | 2004-02-20 16:46:12 +0000 |
|---|---|---|
| committer | johnvg | 2004-02-20 16:46:12 +0000 |
| commit | 7635e0642137e4953ee1b974db3bdc18e6c13b33 (patch) | |
| tree | d7ebb3cb3f137a0af7561cbf306e595bdd94218e | |
| parent | remove prototypes of removed functions, add ListTypes prototype (diff) | |
remove prototypes of removed functions, move some prototypes from
typechecker or overloading header files to this file
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1453 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | backendC/CleanCompilerSources/tcsupport.h | 31 |
1 files changed, 3 insertions, 28 deletions
diff --git a/backendC/CleanCompilerSources/tcsupport.h b/backendC/CleanCompilerSources/tcsupport.h index e66d8ab..111c6e9 100644 --- a/backendC/CleanCompilerSources/tcsupport.h +++ b/backendC/CleanCompilerSources/tcsupport.h @@ -6,33 +6,8 @@ Author: Sjaak Smetsers */ -extern jmp_buf ExitTypeComponent; +extern BITVECT DetermineUniPropOfTypeCons (SymbDef typecons); -extern void OverloadingError (Symbol symbol, char *msg, TypeCell type, Bool make_jump); +extern BITVECT DetermineConsVarsOfTypeCons (SymbDef typecons, ConsVarList * cons_vars); -extern void Unify (TypeCell offtype, TypeCell demtype, Node uni_node, int argnr); - -extern UnificationStatus UnifyTypes (TypeCell offtype, TypeCell demtype); - -extern void UnifyError (UnificationStatus ustat, Node err_node, int err_argnr, TypeCell type1, TypeCell type2); - -extern void UniquenessError (UniquenessErrorKind err_kind, Node err_node, int err_argnr, TypeCell type, TypeCell sub_type); - -extern void ReportTypeError (Node err_node, int err_argnr, char *err_msg); - -extern TypeCell ExpandSynonymType (TypeCell synappl, SymbDef syndef); - -extern AttributeCellKind DetermineAttrkindOfTypeCell (TypeCell type); - -#define GetExistentionalVarsOfTypeCons(typecons) (typecons -> sdef_contains_freevars) ?\ - typecons -> sdef_type -> type_exivars : ALLBITSCLEAR - -extern Symbol BuildNewSymbol (SymbDef old_symb_def, int id_nr, TypeCell ins_types [], int arity, TableKind table); - -extern Symbol BuildNewClassSymbol (SymbolList class_symbols); - -extern Ident BuildNewSymbolId (char *prefix, int id_nr, TypeCell ins_types [], int arity, TableKind table); - -extern TypeCell SkipTypeSynIndirection (TypeCell type); - -extern void PrepareTypesAndImportedInstances (Symbol symbs, char *icl_module); +extern void PrintNodeSymbol (Node node, int arg_nr, File file); |