diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-21 21:36:57 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-21 21:36:57 +0200 |
| commit | b8c5ae5af83015c1c0671cb9c5360d3e4b6df4e0 (patch) | |
| tree | 07b64ed3ebd9d252b6b8538df7aae43e02bfdd35 /edit-lens/src/Control/DFST.lhs | |
| parent | fbddba9ee102358aad7783997ab210c198daff4c (diff) | |
| download | incremental-dfsts-b8c5ae5af83015c1c0671cb9c5360d3e4b6df4e0.tar incremental-dfsts-b8c5ae5af83015c1c0671cb9c5360d3e4b6df4e0.tar.gz incremental-dfsts-b8c5ae5af83015c1c0671cb9c5360d3e4b6df4e0.tar.bz2 incremental-dfsts-b8c5ae5af83015c1c0671cb9c5360d3e4b6df4e0.tar.xz incremental-dfsts-b8c5ae5af83015c1c0671cb9c5360d3e4b6df4e0.zip | |
FST operations
Diffstat (limited to 'edit-lens/src/Control/DFST.lhs')
| -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 94df533..9bd1629 100644 --- a/edit-lens/src/Control/DFST.lhs +++ b/edit-lens/src/Control/DFST.lhs | |||
| @@ -46,7 +46,7 @@ toFST :: forall state input output. (Ord state, Ord input, Ord output) => DFST s | |||
| 46 | toFST DFST{..} = flip execState initialFST $ forM_ (Map.toList stTransition) handleTransition | 46 | toFST DFST{..} = flip execState initialFST $ forM_ (Map.toList stTransition) handleTransition |
| 47 | where | 47 | where |
| 48 | initialFST = FST | 48 | initialFST = FST |
| 49 | { stInitial = (stInitial, Nothing) | 49 | { stInitial = Set.singleton (stInitial, Nothing) |
| 50 | , stTransition = Map.empty | 50 | , stTransition = Map.empty |
| 51 | , stAccept = Set.map (, Nothing) stAccept | 51 | , stAccept = Set.map (, Nothing) stAccept |
| 52 | } | 52 | } |