sepcomp: use the new `POSetGroupColorer` to color properties
authorJean Privat <jean@pryen.org>
Mon, 23 Mar 2015 06:28:26 +0000 (13:28 +0700)
committerJean Privat <jean@pryen.org>
Mon, 23 Mar 2015 14:39:08 +0000 (21:39 +0700)
commitf95a42c4c2a1d5fbaa863b036ce6c0bc661d539d
tree6d0f9188b89f5399331c36e5dd778ad4529ac5d6
parent0d9db86f764cc8d6f89599f1c3b168638b16197e
sepcomp: use the new `POSetGroupColorer` to color properties

The diff is ugly. basically it is a complete change of the code

Signed-off-by: Jean Privat <jean@pryen.org>
src/compiler/separate_compiler.nit