diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2021-01-19 11:30:41 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-22 15:06:39 -0500 |
| commit | 13d876bab3615174eb825d7b8048a0dd74eaebb8 (patch) | |
| tree | c807b0f48e536b0fe0de17437d6a16d54ea49d23 /includes | |
| parent | 532337cb8181f31bd4a5475b2dc9740d428657b5 (diff) | |
| download | haskell-13d876bab3615174eb825d7b8048a0dd74eaebb8.tar.gz | |
Enhance nested TransCo pretty-printing
Nested TransCo were printed with a lot of indentation, e.g.:
`cast` (Sub (Sym (Foo.D:R:Index[0] <Bool>_N <'[]>_N)) ; ((Index
(Sym (SubDef (<1>_N,
<1>_N)))
<'[Bool]>_N)_R ; ...
With this patch we print them as follows:
`cast` (Sub (Sym (Foo.D:R:Index[0] <Bool>_N <'[]>_N))
; (Index (Sym (SubDef (<1>_N, <1>_N))) <'[Bool]>_N)_R
; Sub (Sym (Foo.D:R:Index[1] <1>_N <Int>_N <'[Bool]>_N))
; (Index (Sym (SubDef (<2>_N, <1>_N))) <'[Int, Bool]>_N)_R
Diffstat (limited to 'includes')
0 files changed, 0 insertions, 0 deletions