diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-21 17:27:43 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-21 17:27:43 +0200 |
| commit | fbddba9ee102358aad7783997ab210c198daff4c (patch) | |
| tree | 1e4e7ab728f9c866c6156657e6b6b5294a66c0e2 /edit-lens/src/Control | |
| parent | bf9defe85753670e03ef58f5b8735987e39a816a (diff) | |
| download | incremental-dfsts-fbddba9ee102358aad7783997ab210c198daff4c.tar incremental-dfsts-fbddba9ee102358aad7783997ab210c198daff4c.tar.gz incremental-dfsts-fbddba9ee102358aad7783997ab210c198daff4c.tar.bz2 incremental-dfsts-fbddba9ee102358aad7783997ab210c198daff4c.tar.xz incremental-dfsts-fbddba9ee102358aad7783997ab210c198daff4c.zip | |
Think about how handleTransition' gets called
Diffstat (limited to 'edit-lens/src/Control')
| -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 | ||