Commit 5cdd6d82 authored by Ian Lynagh's avatar Ian Lynagh

Whitespace

parent f6ee5679
......@@ -204,10 +204,10 @@ 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
(UniqFM ele)
(UniqFM 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