Commit 4fbe6fb1 authored by John van Groningen's avatar John van Groningen
Browse files

remove generic info argument for generic function definitions in definition modules

for non generic representation types, prevents error when comparing definitions
in implementation and definition module
parent 3ae2db06
......@@ -1325,7 +1325,7 @@ remove_generic_info_and_determine_generic_instance_deps bodies arity type_cons c
-> (bodies,arity-1,GenericInstanceUsedArgs n_deps deps,ca)
-> (bodies,arity-1,GenericInstanceUsedArgs 0 0,ca)
_
-> (bodies,arity-1,AllGenericInstanceDependencies,ca)
-> (map remove_generic_info_in_body bodies,arity-1,AllGenericInstanceDependencies,ca)
where
remove_generic_info_and_determine_generic_instance_deps_in_bodies [body:bodies] n_deps deps
# (body,n_deps,deps) = remove_generic_info_and_determine_generic_instance_deps_in_body body n_deps deps
......@@ -1340,6 +1340,11 @@ remove_generic_info_and_determine_generic_instance_deps bodies arity type_cons c
remove_generic_info_and_determine_generic_instance_deps_in_body body n_deps deps
= (body,n_deps,deps)
remove_generic_info_in_body body=:{pb_args=[_:args]}
= {body & pb_args=args}
remove_generic_info_in_body body
= body
mark_deps_in_args :: [ParsedExpr] Int Int Int -> (!Int,!Int)
mark_deps_in_args [PE_WildCard:args] arg_n n_deps deps
= mark_deps_in_args args (arg_n+1) n_deps deps
......
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