Skip to content

GitLab

Commit ab176653 authored by John van Groningen's avatar John van Groningen
Browse files

remove updateExpression instance for removed type

parent 619e94ba
Show whitespace changes
Inline Side-by-side
frontend/overloading.icl
View file @ ab176653
......@@ -1621,13 +1621,6 @@ where
updateExpression group_index selection ui
= (selection, ui)
instance updateExpression TypeCase
where
updateExpression group_index type_case=:{type_case_dynamic,type_case_patterns,type_case_default} ui
# ((type_case_dynamic,(type_case_patterns,type_case_default)), ui) = updateExpression group_index
(type_case_dynamic,(type_case_patterns,type_case_default)) ui
= ({ type_case & type_case_dynamic = type_case_dynamic, type_case_patterns = type_case_patterns, type_case_default = type_case_default }, ui)
instance updateExpression DynamicPattern
where
updateExpression group_index dp=:{dp_type,dp_rhs} ui
......
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