Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Ivan Lazar Miljenovic
Felipe Lessa writes: > On Tue, Jul 6, 2010 at 7:53 PM, Ivan Lazar Miljenovic > wrote: >> Felipe Lessa writes: >>> I'm sorry for being silly, but what's the motivation of having this >>> canonic form? =) >> >> A few things come to mind: >> >> * Easier to reason about, [...] >> * Less ambiguity:

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Felipe Lessa
On Tue, Jul 6, 2010 at 7:53 PM, Ivan Lazar Miljenovic wrote: > Felipe Lessa writes: >> I'm sorry for being silly, but what's the motivation of having this >> canonic form? =) > > A few things come to mind: > > * Easier to reason about, [...] > * Less ambiguity: [...] So you want to do some post-

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Ivan Lazar Miljenovic
Felipe Lessa writes: > On Tue, Jul 6, 2010 at 7:15 PM, Ivan Lazar Miljenovic > wrote: >> As such, I probably won't be implementing the canonical form stuff any >> time soon in graphviz, and might need to examine Graphviz's source code >> to compare it and ensure that it's at least similar :s > >

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Felipe Lessa
On Tue, Jul 6, 2010 at 7:15 PM, Ivan Lazar Miljenovic wrote: > As such, I probably won't be implementing the canonical form stuff any > time soon in graphviz, and might need to examine Graphviz's source code > to compare it and ensure that it's at least similar :s I'm sorry for being silly, but w

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Ivan Lazar Miljenovic
"Kevin Quick" writes: > On Mon, 05 Jul 2010 19:26:34 -0700, Ivan Miljenovic > wrote: > >> Graphviz (http://graphviz.org/) has the option to convert provided > Dot >> code for visualising a graph into a canonical form. For example, > take >> the sample Dot code: > [snip] >> I've recently thought

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Kevin Quick
On Mon, 05 Jul 2010 19:26:34 -0700, Ivan Miljenovic wrote: Graphviz (http://graphviz.org/) has the option to convert provided Dot code for visualising a graph into a canonical form. For example, take the sample Dot code: [snip] I've recently thought up a way that I can duplicate this functi

[Haskell-cafe] Canonical Graphviz code

2010-07-05 Thread Ivan Miljenovic
Graphviz (http://graphviz.org/) has the option to convert provided Dot code for visualising a graph into a canonical form. For example, take the sample Dot code: | digraph foo { | a [color=blue]; | subgraph cluster_bar { | a [label="hi!"] | b [color=blue, label="bye!"