Commit b56fa72c authored by Ian Lynagh's avatar Ian Lynagh

Strictness tweaks

parent 5cdd6d82
......@@ -203,9 +203,9 @@ First, the DataType itself; which is either a Node, a Leaf, or an Empty.
data UniqFM ele
= EmptyUFM
| LeafUFM FastInt ele
| NodeUFM FastInt -- the switching
FastInt -- the delta
| LeafUFM !FastInt ele
| NodeUFM !FastInt -- the switching
!FastInt -- the delta
(UniqFM ele)
(UniqFM ele)
-- INVARIANT: the children of a NodeUFM are never EmptyUFMs
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