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

export strictness of getConsPath

parent e81429fe
......@@ -53,7 +53,7 @@ bimapId :: Bimap .a .a
// determine the path in the generic binary-sum-tree of a constructor
:: ConsPos = ConsLeft | ConsRight
getConsPath :: GenericConsDescriptor -> [ConsPos]
getConsPath :: !GenericConsDescriptor -> [ConsPos]
// generic bidirectional mapping
generic bimap a b :: Bimap .a .b
......
......@@ -56,7 +56,7 @@ where
, map_from = x.map_from o map_from o y.map_to
}
getConsPath :: GenericConsDescriptor -> [ConsPos]
getConsPath :: !GenericConsDescriptor -> [ConsPos]
getConsPath {gcd_index, gcd_type_def={gtd_num_conses}}
= doit gcd_index gtd_num_conses
where
......
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