From fbddba9ee102358aad7783997ab210c198daff4c Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Mon, 21 May 2018 17:27:43 +0200 Subject: Think about how handleTransition' gets called --- edit-lens/src/Control/DFST.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'edit-lens/src/Control') 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 let next | Just (inS', i) <- chain = (st, Just (inS', succ i)) | Just inS' <- inS = (st, Just (inS', 0 )) - | otherwise = error "TODO: Can this happen?" + -- Both calls to `handleTransition'` (one in `handleTransition`, the other below) satisfy one of the above cases addTransition (from, inS) (next, Just outS) handleTransition' next Nothing oo to -- cgit v1.2.3