summaryrefslogtreecommitdiff
path: root/edit-lens/src/Control/DFST.lhs
diff options
context:
space:
mode:
Diffstat (limited to 'edit-lens/src/Control/DFST.lhs')
-rw-r--r--edit-lens/src/Control/DFST.lhs2
1 files changed, 1 insertions, 1 deletions
diff --git a/edit-lens/src/Control/DFST.lhs b/edit-lens/src/Control/DFST.lhs
index 476a8c4..94df533 100644
--- a/edit-lens/src/Control/DFST.lhs
+++ b/edit-lens/src/Control/DFST.lhs
@@ -61,7 +61,7 @@ toFST DFST{..} = flip execState initialFST $ forM_ (Map.toList stTransition) han
61 let next 61 let next
62 | Just (inS', i) <- chain = (st, Just (inS', succ i)) 62 | Just (inS', i) <- chain = (st, Just (inS', succ i))
63 | Just inS' <- inS = (st, Just (inS', 0 )) 63 | Just inS' <- inS = (st, Just (inS', 0 ))
64 | otherwise = error "TODO: Can this happen?" 64 -- Both calls to `handleTransition'` (one in `handleTransition`, the other below) satisfy one of the above cases
65 addTransition (from, inS) (next, Just outS) 65 addTransition (from, inS) (next, Just outS)
66 handleTransition' next Nothing oo to 66 handleTransition' next Nothing oo to
67 67