From 4688774654bcc3330ada6e8bf08ace00198e291a Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Wed, 11 Nov 2009 20:04:11 +0100 Subject: [PATCH] Update outline. --- Chapters/Prototype.tex | 12 +++--------- Outline | 4 ++-- 2 files changed, 5 insertions(+), 11 deletions(-) diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index fa0b54a..6795771 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -760,12 +760,6 @@ Implementation issues: state splitting, linking input to output state, checking usage constraints on state variables. - Implementation issues - \subsection[sec:prototype:separate]{Separate compilation} - - Simplified core? - - \section{Haskell language coverage and constraints} - Recursion - Builtin types - Custom types (Sum types, product types) - Function types / higher order expressions + TODO: Implementation issues + TODO: \subsection[sec:prototype:separate]{Separate compilation} + TODO: Simplified core? diff --git a/Outline b/Outline index 88cc626..6cab7d2 100644 --- a/Outline +++ b/Outline @@ -32,10 +32,9 @@ Normalization * Normal form * Rules used . Properties / Proofs (termination, soundness, completeness, determinism) - Casts / Strictness / Casebinders not fully supported Future work -. Boilerplate reduction (State distribution & pipelining) +* Boilerplate reduction (State distribution & pipelining) * Recursion * Multiple time domains (Events) -- Also, clock line optimization / -- write enable @@ -48,3 +47,4 @@ TODO: Define user / developer TODO: Comiler vs translator TODO: Hardware description / model vs program TODO: State & pattern matches +TODO: Separate compilation / Prelude -- 2.30.2