Commit 799a382e authored by John van Groningen's avatar John van Groningen
Browse files

refactor, remove ignored !s in a function type, remove unused function alternative

parent f828a63e
...@@ -1643,8 +1643,6 @@ convertAttribution TA_MultiOfPropagatingConsVar ...@@ -1643,8 +1643,6 @@ convertAttribution TA_MultiOfPropagatingConsVar
// this is a work around for caching / attribute heap bug // this is a work around for caching / attribute heap bug
convertAttribution _ convertAttribution _
= return BENoUniAttr = return BENoUniAttr
convertAttribution attr
= abort "backendconvert, convertAttribution: unknown TypeAttribute" // <<- attr
convertAnnotTypeNode :: AType -> BEMonad BETypeNodeP convertAnnotTypeNode :: AType -> BEMonad BETypeNodeP
convertAnnotTypeNode {at_type, at_attribute} convertAnnotTypeNode {at_type, at_attribute}
......
/*
module owner: Ronny Wichers Schreur
*/
definition module mergecases definition module mergecases
import syntax, checksupport import syntax, checksupport
mergeCases :: !(!Expression, !Position) ![(!Expression, !Position)] !*VarHeap !*ExpressionHeap !*ErrorAdmin mergeCases :: !(!Expression, !Position) ![(Expression, Position)] !*VarHeap !*ExpressionHeap !*ErrorAdmin
-> *(!(!Expression, !Position), !*VarHeap, !*ExpressionHeap, !*ErrorAdmin) -> *(!(!Expression, !Position),!*VarHeap,!*ExpressionHeap,!*ErrorAdmin)
...@@ -22,8 +22,8 @@ instance GetSetPatternRhs DynamicPattern ...@@ -22,8 +22,8 @@ instance GetSetPatternRhs DynamicPattern
get_pattern_rhs p = p.dp_rhs get_pattern_rhs p = p.dp_rhs
set_pattern_rhs p expr = {p & dp_rhs=expr} set_pattern_rhs p expr = {p & dp_rhs=expr}
mergeCases :: !(!Expression, !Position) ![(!Expression, !Position)] !*VarHeap !*ExpressionHeap !*ErrorAdmin mergeCases :: !(!Expression, !Position) ![(Expression, Position)] !*VarHeap !*ExpressionHeap !*ErrorAdmin
-> *(!(!Expression, !Position), !*VarHeap,!*ExpressionHeap,!*ErrorAdmin) -> *(!(!Expression, !Position), !*VarHeap,!*ExpressionHeap,!*ErrorAdmin)
mergeCases expr_and_pos [] var_heap symbol_heap error mergeCases expr_and_pos [] var_heap symbol_heap error
= (expr_and_pos, var_heap, symbol_heap, error) = (expr_and_pos, var_heap, symbol_heap, error)
mergeCases (Let lad=:{let_expr}, pos) exprs var_heap symbol_heap error mergeCases (Let lad=:{let_expr}, pos) exprs var_heap symbol_heap error
......
Supports Markdown
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