bugfix in showType from the C runtime

This commit is contained in:
Krasimir Angelov
2017-09-01 10:00:47 +02:00
parent d5a7945ba0
commit 8a333c9ca8

View File

@@ -50,7 +50,7 @@ showType scope (Type ty touch) =
do (sb,out) <- newOut tmpPl
printCtxt <- newPrintCtxt scope tmpPl
exn <- gu_new_exn tmpPl
pgf_print_type ty printCtxt 1 out exn
pgf_print_type ty printCtxt 0 out exn
touch
s <- gu_string_buf_freeze sb tmpPl
peekUtf8CString s