From 10aead726acc0c5a8a17d76f10e6fd1aa0c94319 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 7 Dec 2009 11:11:21 +0100 Subject: [PATCH] Remove deprecated paragraph. --- Chapters/Introduction.tex | 2 +- Chapters/Prototype.tex | 8 -------- 2 files changed, 1 insertion(+), 9 deletions(-) diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex index af334a3..3b0a5c1 100644 --- a/Chapters/Introduction.tex +++ b/Chapters/Introduction.tex @@ -65,7 +65,7 @@ advanced types and provides a case study. % Draw a dotted line between the middle operations ncline(a2)(a3) "linestyle(dashed withdots)", "arrows(-)"; \stopuseMPgraphic - \placeexample[here][ex:AndWord]{Simple architecture that inverts a vector of bits.} + \placeexample[][ex:AndWord]{Simple architecture that inverts a vector of bits.} \startcombination[2*1] {\typebufferlam{AndWord}}{Haskell description of the architecture.} {\boxedgraphic{AndWord}}{The architecture described by the Haskell description.} diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index 3d8fb67..bad0d06 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -622,14 +622,6 @@ The value of a cast is the value of its body, unchanged. The type of this value is equal to the target type, not the type of its body. - - \todo{Move and update this paragraph} - Note that this syntax is also used sometimes to indicate that a particular - expression has a particular type, even when no cast expression is - involved. This is then purely informational, since the only elements that - are explicitly typed in the Core language are the binder references and - cast expressions, the types of all other elements are determined at - runtime. \stopdesc \startdesc{Note} -- 2.30.2