Edwin Brady 654ab0cbd0 Look inside definitions during conversion ... If two definitions are identical, with the same arguments, they should convert, even if they have different names. Fixes #194		2020-02-23 15:58:14 +00:00
..
expected	Look inside definitions during conversion	2020-02-23 15:58:14 +00:00
iftype.idr	Look inside definitions during conversion	2020-02-23 15:58:14 +00:00
run	Look inside definitions during conversion	2020-02-23 15:58:14 +00:00