diff options
Diffstat (limited to 'edit-lens')
-rw-r--r-- | edit-lens/src/Control/DFST.lhs | 2 |
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 | ||