diff options
Diffstat (limited to 'backendC/CleanCompilerSources/sa.c')
| -rw-r--r-- | backendC/CleanCompilerSources/sa.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/backendC/CleanCompilerSources/sa.c b/backendC/CleanCompilerSources/sa.c index caa80c9..2b01345 100644 --- a/backendC/CleanCompilerSources/sa.c +++ b/backendC/CleanCompilerSources/sa.c @@ -2277,9 +2277,6 @@ static Exp ConvertNode (Node node, NodeId nid) sdef = node->node_symbol->symb_def; - if (sdef->sdef_kind == INSTANCE) - DoFatalError ("Strictness analysis (ConvertNode): instance encounterred"); - if (sdef->sdef_kind==DEFRULE || sdef->sdef_kind==SYSRULE){ TypeAlts rule; TypeArgs typeargs; @@ -2604,9 +2601,6 @@ static Exp convert_pattern (SymbolP symbol_p,int arity,NodeIdListElementP node_i sdef = symbol_p->symb_def; - if (sdef->sdef_kind == INSTANCE) - DoFatalError ("Strictness analysis (convert_pattern): instance encounterred"); - if (sdef->sdef_kind==DEFRULE || sdef->sdef_kind==SYSRULE){ TypeAlts rule; TypeArgs typeargs; |