diff --git a/LANGUAGE b/LANGUAGE index 49d720c..57c3c84 100644 --- a/LANGUAGE +++ b/LANGUAGE @@ -4,10 +4,11 @@ Language features supported by Tock Everything in occam2.1, minus: - inline VALOF - PORTs, PLACE -- ... KRoC's TLP interface. +Most of KRoC's preprocessor, although #USE reads a source file for now. + INLINE PROC and INLINE FUNCTION. Intrinsics: @@ -15,7 +16,4 @@ Intrinsics: - SQRT - DSQRT -Simple versions of #USE and #INCLUDE that only work in a process context (i.e. -you can't #INCLUDE the body of a nested block). - PLACE IN WORKSPACE and PLACE IN VECSPACE, both currently ignored.