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

fix for commit cb54992d, fix test for fields with function type

parent cdc9d2d9
......@@ -582,7 +582,7 @@ where
| contains_no_type_var atype2
= check_record_field atype1 modules td_infos heaps
| contains_no_type_var atype1
= (True,modules,td_infos,heaps)
= check_record_field atype2 modules td_infos heaps
= (False,modules,td_infos,heaps)
check_record_field atype modules td_infos heaps
| contains_no_type_var atype
......
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