Garmelon/rextra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Clean up and fix compilation error

Browse source
This commit is contained in:
Joscha 2019-11-01 09:44:27 +00:00
parent 3b8e2fcbf9
commit 2a60939aee
3 changed files with 2 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
app/Main.hs
View file

@ -1,6 +1,4 @@
module Main where module Main where
import Rextra.Rextra (rextra)
main :: IO () main :: IO ()
main = rextra main = putStrLn "Nothing to see here"

2
src/Rextra/Automaton.hs
View file

@ -153,7 +153,7 @@ initialPartition a =
minimizeDfa :: (Ord s, Ord t) => Dfa.Dfa s t -> Dfa.Dfa (EquivalenceGroup s) t minimizeDfa :: (Ord s, Ord t) => Dfa.Dfa s t -> Dfa.Dfa (EquivalenceGroup s) t
minimizeDfa a = minimizeDfa a =
let grouping = findGroupingFixpoint (stateMap a) (initialPartition a) let grouping = findGroupingFixpoint (stateMap a) (initialPartition a)
mapping = partitionToMap $ groupingToPartition grouping mapping = partitionToMap $ Map.keysSet grouping
newEntryState = mapping Map.! entryState a newEntryState = mapping Map.! entryState a
newExitStates = Set.map (mapping Map.!) (exitStates a) newExitStates = Set.map (mapping Map.!) (exitStates a)
in fromJust $ fa grouping newEntryState newExitStates in fromJust $ fa grouping newEntryState newExitStates

6
src/Rextra/Rextra.hs
View file

@ -1,6 +0,0 @@
-- This file will be split up as it grows.
module Rextra.Rextra where
-- * Just a placeholder function
rextra :: IO ()
rextra = putStrLn "rextra"