aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authorjohnvg2001-09-05 15:04:11 +0000
committerjohnvg2001-09-05 15:04:11 +0000
commit584f177a22d7f97ff7c7abd4e196510fb7e42edf (patch)
tree1af3ff6e1942e4b9b138840c10ad993691268723 /frontend/checksupport.dcl
parentfix parsing of [# with layout rule (diff)
moved function getBelongingSymbolsFromID from checksupport to explicitimports
moved function get_ident from checksupport to check git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@741 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl5
1 files changed, 0 insertions, 5 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index f694ae1..3214a3f 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -52,9 +52,7 @@ cConversionTableSize :== 9 // AA
:: CommonDefs =
{ com_type_defs :: !.{# CheckedTypeDef}
-
, com_unexpanded_type_defs :: !{# CheckedTypeDef}
-
, com_cons_defs :: !.{# ConsDef}
, com_selector_defs :: !.{# SelectorDef}
, com_class_defs :: !.{# ClassDef}
@@ -177,9 +175,6 @@ newFreeVariable :: !FreeVar ![FreeVar] ->(!Bool, ![FreeVar])
local_declaration_for_import :: !u:Declaration .Index -> v:Declaration, [u <= v]
-get_ident :: !ImportDeclaration -> Ident
-getBelongingSymbolsFromID :: !ImportDeclaration -> Optional [ImportedIdent]
-
:: BelongingSymbols
= BS_Constructors ![DefinedSymbol]
| BS_Fields !{#FieldSymbol}