In rts/Printer.c, print exact UPDATE_FRAME type
authorArash Rouhani <rarash@student.chalmers.se>
Thu, 26 Dec 2013 13:57:35 +0000 (14:57 +0100)
committerAustin Seipp <austin@well-typed.com>
Wed, 15 Jan 2014 16:36:59 +0000 (10:36 -0600)
commitd1712dbd2b4c5d23a60d8a369e17045a397bf4f5
tree26b6b65da729b6e941a59f5f90222cfbb501e40f
parent778b48afc36e2b0eb44387e2a36947ac0c6ddd95
In rts/Printer.c, print exact UPDATE_FRAME type

When printing an update frame in printClosure(), it will not print
the unspecific UPDATE_FRAME, instead it prints BH_UPDATE_FRAME,
NORMAL_UPDATE_FRAME or MARKED_UPDATE_FRAME.

Signed-off-by: Austin Seipp <austin@well-typed.com>
rts/Printer.c
rts/Printer.h