Improved `handleArcs` function.

[jrbeaumont]

Removed explicit recursion.

Added extra to the cabal file, required for groupSortOn.

[jrbeaumont]

Thanks for the comments, I will get to this ASAP. It should be possible to do some work on most of these.

This will break when there are more than 26 signals: show (Signal i) = [chr (ord 'A' + i)]. Think how to improve.

I agree this needs improvement, but I don't believe it can be a quick fix, and it can be fixed with #35, allowing a user to define their own signal names.

[snowleopard]

I agree this needs improvement, but I don't believe it can be a quick fix

Well, there are plenty of quick fixes! For example:

show (Signal i)
    | i < 26    = [chr (ord 'A' + i)]
    | otherwise = 'S' : show i

and it can be fixed with #35, allowing a user to define their own signal names.

True, that would be preferable.

[jrbeaumont]

instance Show Signal where show (Signal i)
    | i < 26    = [chr (ord 'A' + i)]
    | otherwise = 'S' : show i

This throws errors, it doesn't like the |. I'm gonna come back to this soon. 26 signals at this point is quite a lot, but it does need some adjustment.

[snowleopard]

I think formatting is wrong, perhaps this will work:

instance Show Signal where
    show (Signal i)
        | i < 26    = [chr (ord 'A' + i)]
        | otherwise = 'S' : show i

[jrbeaumont]

That works, thanks. Next issue:

This is a bit sad: "+"isSuffixOff. Can't you convert to strings later, so you can avoid testing strings instead of working with Transition type?

Because of the numbering of transitions (e.g c+/1), I can't change the first argument to transition, (String, String) to (Transition Signal, Transition Signal). I can change it to (Transition Signal, String) which would remove "+" isSuffixOf.

[jrbeaumont]

Made these changes now. Let me know if there's more to be done :)

[snowleopard]

Merged from 10,600m above.