From 25a9595273c9f20d926d2c090bd321cbaf145f12 Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Mon, 30 Apr 2007 17:02:39 +0000 Subject: [PATCH] TODO items from this week's meeting --- fco2/TODO | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/fco2/TODO b/fco2/TODO index 30ad84d..b7719dd 100644 --- a/fco2/TODO +++ b/fco2/TODO @@ -29,8 +29,12 @@ Add an option for whether to compile out overflow/bounds checks. Record literals aren't implemented. -Inline PROCs should be marked with a flag in the AST (i.e. they should be -ignored at the C generation stage, rather than in the parser). +Inline PROCs and FUNCTIONs should be marked with a flag in the AST (i.e. they +should be ignored at the C generation stage, rather than in the parser). + +Inline C code should be supported; say something like "INLINE "C"" and the +block indented inside that gets passed through to the C source, with local +names in it replaced appropriately. ## Passes @@ -82,3 +86,11 @@ Slice checks should not be generated if the slice is known to be safe. If we have constant folding, we're three-quarters of the way towards having an occam *interpreter*. +Matt suggested that the TDS C compiler could be used to produce Transputer +bytecode from Tock's output (if Tock could be persuaded to generate ANSI C). + +There should be a CIF interface to the Transterpreter runtime. + +It would be possible to support GUY/ASM blocks on top of the Transterpreter +runtime, although I'm not sure how useful that really is. +