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

fix commit f9eda3c5, add code to handle...

fix commit f9eda3c5, add code to handle optimized derive of bimap for constructor arguments that do not contain a type variable
parent cb54992d
......@@ -2976,6 +2976,10 @@ where
TVI_SimpleBimapArgExpr bimap_expr
# (args,th_vars) = bimaps_with_arg type_args var_exprs th_vars
= ([bimap_expr @ [var_expr]:args],th_vars)
bimaps_with_arg [type_arg:type_args] [var_expr:var_exprs] th_vars
| contains_no_type_var type_arg // always
# (args,th_vars) = bimaps_with_arg type_args var_exprs th_vars
= ([var_expr:args],th_vars)
bimaps_with_arg [] [] th_vars
= ([],th_vars)
......
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