From 87c631be70d0a6d29b621f9a46b8d465c275ad86 Mon Sep 17 00:00:00 2001 From: "sven.panne@aedion.de" Date: Sat, 1 Sep 2007 12:46:15 +0000 Subject: [PATCH] Fixed TeX syntax --- compiler/prelude/primops.txt.pp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index ffa7c56..13ce302 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -1788,7 +1788,7 @@ pseudoop "unsafeCoerce#" known to be empty. Also, a {\tt newtype} of a type {\tt T} has the same representation at runtime as {\tt T}. - Other uses of {\tt unsafeCoerce#} are undefined. + Other uses of {\tt unsafeCoerce\#} are undefined. } -- NB. It is tempting to think that casting a value to a type that it doesn't have is safe -- 1.7.10.4