Commit 03c1e409 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files

remove unused type BEUniVarEquations, function BENoUniVarEquations and...

remove unused type BEUniVarEquations, function BENoUniVarEquations and argument attributeEquations of function BETypeAlt in backend
parent b676d3bf
......@@ -34,7 +34,6 @@ BENormalTypeNode
BEAnnotateTypeNode
BEAttributeTypeNode
BENoAttributeKinds
BENoUniVarEquations
BENoTypeArgs
BETypeArgs
BETypeAlt
......
......@@ -35,7 +35,6 @@ BENormalTypeNode
BEAnnotateTypeNode
BEAttributeTypeNode
BENoAttributeKinds
BENoUniVarEquations
BENoTypeArgs
BETypeArgs
BETypeAlt
......
......@@ -24,7 +24,6 @@ definition module backend;
:: BEStringListP (:== CPtr);
:: BENodeIdListP (:== CPtr);
:: BENodeIdRefCountListP (:== CPtr);
:: BEUniVarEquations (:== CPtr);
:: BEAttributeKindList (:== CPtr);
:: BEAnnotation :== Int;
:: BEAttribution :== Int;
......@@ -106,14 +105,12 @@ BEAttributeTypeNode :: !BEAttribution !BETypeNodeP !BackEnd -> (!BETypeNodeP,!Ba
// BETypeNodeP BEAttributeTypeNode (BEAttribution attribution,BETypeNodeP typeNode);
BENoAttributeKinds :: !BackEnd -> (!BEAttributeKindList,!BackEnd);
// BEAttributeKindList BENoAttributeKinds ();
BENoUniVarEquations :: !BackEnd -> (!BEUniVarEquations,!BackEnd);
// BEUniVarEquations BENoUniVarEquations ();
BENoTypeArgs :: !BackEnd -> (!BETypeArgP,!BackEnd);
// BETypeArgP BENoTypeArgs ();
BETypeArgs :: !BETypeNodeP !BETypeArgP !BackEnd -> (!BETypeArgP,!BackEnd);
// BETypeArgP BETypeArgs (BETypeNodeP node,BETypeArgP nextArgs);
BETypeAlt :: !BETypeNodeP !BETypeNodeP !BEUniVarEquations !BackEnd -> (!BETypeAltP,!BackEnd);
// BETypeAltP BETypeAlt (BETypeNodeP lhs,BETypeNodeP rhs,BEUniVarEquations attributeEquations);
BETypeAlt :: !BETypeNodeP !BETypeNodeP !BackEnd -> (!BETypeAltP,!BackEnd);
// BETypeAltP BETypeAlt (BETypeNodeP lhs,BETypeNodeP rhs);
BENormalNode :: !BESymbolP !BEArgP !BackEnd -> (!BENodeP,!BackEnd);
// BENodeP BENormalNode (BESymbolP symbol,BEArgP args);
BEMatchNode :: !Int !BESymbolP !BENodeP !BackEnd -> (!BENodeP,!BackEnd);
......
......@@ -255,12 +255,6 @@ BENoAttributeKinds a0 = code {
}
// BEAttributeKindList BENoAttributeKinds ();
BENoUniVarEquations :: !BackEnd -> (!BEUniVarEquations,!BackEnd);
BENoUniVarEquations a0 = code {
ccall BENoUniVarEquations ":p:p"
}
// BEUniVarEquations BENoUniVarEquations ();
BENoTypeArgs :: !BackEnd -> (!BETypeArgP,!BackEnd);
BENoTypeArgs a0 = code {
ccall BENoTypeArgs ":p:p"
......@@ -273,11 +267,11 @@ BETypeArgs a0 a1 a2 = code {
}
// BETypeArgP BETypeArgs (BETypeNodeP node,BETypeArgP nextArgs);
BETypeAlt :: !BETypeNodeP !BETypeNodeP !BEUniVarEquations !BackEnd -> (!BETypeAltP,!BackEnd);
BETypeAlt a0 a1 a2 a3 = code {
ccall BETypeAlt "ppp:p:p"
BETypeAlt :: !BETypeNodeP !BETypeNodeP !BackEnd -> (!BETypeAltP,!BackEnd);
BETypeAlt a0 a1 a2 = code {
ccall BETypeAlt "pp:p:p"
}
// BETypeAltP BETypeAlt (BETypeNodeP lhs,BETypeNodeP rhs,BEUniVarEquations attributeEquations);
// BETypeAltP BETypeAlt (BETypeNodeP lhs,BETypeNodeP rhs);
BENormalNode :: !BESymbolP !BEArgP !BackEnd -> (!BENodeP,!BackEnd);
BENormalNode a0 a1 a2 = code {
......
......@@ -231,7 +231,7 @@ beVarTypeNode name
beRuleAlt lineNumber
:== beFunction5 (BERuleAlt lineNumber)
beTypeAlt
:== beFunction3 BETypeAlt
:== beFunction2 BETypeAlt
beRule index isCaf
:== beFunction2 (BERule index isCaf)
beNodeDef sequenceNumber
......@@ -312,8 +312,6 @@ beNodeIds
:== beFunction2 BENodeIds
beNodeIdListElem
:== beFunction1 BENodeIdListElem
beNoUniVarEquations
:== beFunction0 BENoUniVarEquations
beBindSpecialModule specialIdentIndex moduleIndex
:== beApFunction0 (BEBindSpecialModule specialIdentIndex moduleIndex)
beBindSpecialFunction specialIdentIndex functionIndex moduleIndex
......@@ -1435,8 +1433,7 @@ convertTypeAltForSymbolP symbol_p symbolType
o` (beTypeAlt
(convertSymbolTypeArgs symbolType ==> \a2 ->
accBackEnd (BENormalTypeNode symbol_p a2))
(convertAnnotTypeNode st_result)
beNoUniVarEquations)
(convertAnnotTypeNode st_result))
resetAttrNumbers :: [AttributeVar] *BackEndState -> *BackEndState
resetAttrNumbers attrVars state=:{bes_attrHeap}
......
......@@ -33,7 +33,6 @@ BENormalTypeNode
BEAnnotateTypeNode
BEAttributeTypeNode
BENoAttributeKinds
BENoUniVarEquations
BENoTypeArgs
BETypeArgs
BETypeAlt
......
......@@ -1419,12 +1419,6 @@ BENoAttributeKinds (void)
return (NULL);
} /* BENoAttributeKinds */
BEUniVarEquations
BENoUniVarEquations (void)
{
return (NULL);
} /* BENoUniVarEquations */
BETypeNodeP
BEAnnotateTypeNode (BEAnnotation annotation, BETypeNodeP typeNode)
{
......@@ -1454,7 +1448,7 @@ BETypeArgs (BETypeNodeP node, BETypeArgP nextArgs)
} /* BETypeArgs */
BETypeAltP
BETypeAlt (BETypeNodeP lhs, BETypeNodeP rhs, BEUniVarEquations attributeEquations)
BETypeAlt (BETypeNodeP lhs, BETypeNodeP rhs)
{
TypeAlt *alt;
......
......@@ -93,9 +93,6 @@ Clean (:: BENodeIdListP (:== CPtr))
typedef struct node_id_ref_count_list *BENodeIdRefCountListP;
Clean (:: BENodeIdRefCountListP (:== CPtr))
typedef struct uni_var_equats *BEUniVarEquations;
Clean (:: BEUniVarEquations (:== CPtr))
typedef struct attr_kind_list *BEAttributeKindList;
Clean (:: BEAttributeKindList (:== CPtr))
......@@ -282,17 +279,14 @@ Clean (BEAttributeTypeNode :: BEAttribution BETypeNodeP BackEnd -> (BETypeNodeP,
BEAttributeKindList BENoAttributeKinds (void);
Clean (BENoAttributeKinds :: BackEnd -> (BEAttributeKindList, BackEnd))
BEUniVarEquations BENoUniVarEquations (void);
Clean (BENoUniVarEquations :: BackEnd -> (BEUniVarEquations, BackEnd))
BETypeArgP BENoTypeArgs (void);
Clean (BENoTypeArgs :: BackEnd -> (BETypeArgP, BackEnd))
BETypeArgP BETypeArgs (BETypeNodeP node, BETypeArgP nextArgs);
Clean (BETypeArgs :: BETypeNodeP BETypeArgP BackEnd -> (BETypeArgP, BackEnd))
BETypeAltP BETypeAlt (BETypeNodeP lhs, BETypeNodeP rhs, BEUniVarEquations attributeEquations);
Clean (BETypeAlt :: BETypeNodeP BETypeNodeP BEUniVarEquations BackEnd -> (BETypeAltP, BackEnd))
BETypeAltP BETypeAlt (BETypeNodeP lhs, BETypeNodeP rhs);
Clean (BETypeAlt :: BETypeNodeP BETypeNodeP BackEnd -> (BETypeAltP, BackEnd))
BENodeP BENormalNode (BESymbolP symbol, BEArgP args);
Clean (BENormalNode :: BESymbolP BEArgP BackEnd -> (BENodeP, BackEnd))
......
......@@ -82,10 +82,6 @@ struct type_arg
typedef struct attr_kind_list
{ struct attr_kind_list * akl_next;
} * AttributeKindList;
typedef struct uni_var_equats
{ struct uni_var_equats * uve_next;
} * UniVarEquations;
STRUCT (strict_positions, StrictPositions)
{
......
......@@ -36,7 +36,6 @@ EXPORTS
BEAnnotateTypeNode
BEAttributeTypeNode
BENoAttributeKinds
BENoUniVarEquations
BENoTypeArgs
BETypeArgs
BETypeAlt
......
......@@ -35,7 +35,6 @@
/EXPORT: BEAnnotateTypeNode
/EXPORT: BEAttributeTypeNode
/EXPORT: BENoAttributeKinds
/EXPORT: BENoUniVarEquations
/EXPORT: BENoTypeArgs
/EXPORT: BETypeArgs
/EXPORT: BETypeAlt
......
......@@ -34,7 +34,6 @@
/EXPORT:BEAnnotateTypeNode
/EXPORT:BEAttributeTypeNode
/EXPORT:BENoAttributeKinds
/EXPORT:BENoUniVarEquations
/EXPORT:BENoTypeArgs
/EXPORT:BETypeArgs
/EXPORT:BETypeAlt
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment