From a117295a33890774410292246ae8d21bd2505cf8 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 30 Nov 2009 21:09:01 +0100 Subject: [PATCH] Fix two references. --- Chapters/Normalization.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 4e00759..ca84ed1 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -952,10 +952,10 @@ \transexample{toplevelinline}{Top level binding inlining}{from}{to} - Example \in{ex:trans:toplevelinline} shows a typical application of + \in{Example}[ex:trans:toplevelinline] shows a typical application of the addition operator generated by \GHC. The type and dictionary arguments used here are described in - \in{section:prototype:polymorphism}. + \in{Section}[section:prototype:polymorphism]. Without this transformation, there would be a (+) entity in the architecture which would just add its inputs. This generates a lot of -- 2.30.2