From 463339e7d8a60977ca54e0ec460826aa4857d5a7 Mon Sep 17 00:00:00 2001 From: Alexandre Bique Date: Mon, 6 Apr 2009 21:39:20 +0100 Subject: [PATCH] [doc] type checking: updated some rules --- src/ozulis/visitors/type-checking.doch | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/ozulis/visitors/type-checking.doch b/src/ozulis/visitors/type-checking.doch index aeb79ca..5a9c5d5 100644 --- a/src/ozulis/visitors/type-checking.doch +++ b/src/ozulis/visitors/type-checking.doch @@ -13,6 +13,8 @@ * - forbids non-sense: don't convert floats to bool * - don't say how the cast should be done, but just the destination type * - don't insert "dummy" casts + * - type checking an already type checked tree should not generate any + * modifications or errors. * * @subsection check_logical Logical expressions * - they're only valid for bool and integer types @@ -45,8 +47,7 @@ * The type of a is ReferenceType->int32. * The effective type of a is PointerType->int32. * - the semantic type of a reference is it's underlying type - * - reference type should be changed to pointer type when type checking is - * done. + * - after the type checking, references and pointers are the same thing. * * @subsection arrays Arrays * - Well an array is ... an array and not a pointer to typeof array[0]. -- 2.11.4.GIT