In rts/Printer.c, print exact UPDATE_FRAME type

Authored by Tarrasch on Dec 26 2013, 7:57 AM.

Description

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>

Details

Committed
austinJan 15 2014, 10:36 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF778b48afc36e: s/warn-type-holes/warn-typed-holes/g
Branches
Unknown
Tags
Unknown