From 9fe125e047c3c0f0904ae63e67b0dbe5a149c86c Mon Sep 17 00:00:00 2001 From: gavinking Date: Wed, 28 Jan 2015 16:52:26 +0100 Subject: [PATCH] oops --- typechecker/en/modules/declarations.xml | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/typechecker/en/modules/declarations.xml b/typechecker/en/modules/declarations.xml index f3ade187fde..55c26a0594b 100644 --- a/typechecker/en/modules/declarations.xml +++ b/typechecker/en/modules/declarations.xml @@ -1624,8 +1624,9 @@ TypeConstraints? An object declaration specifies the name of the value and the schema, supertypes, and implementation of the class. It - does not specify a type name. Instead, the type has a name assigned - internally by the compiler that is not available at compilation time. + does not explicitly specify a type name. Instead, the type name is formed + by prefixing the value name with `\I`, turning it into an initial uppercase + identifier, as specified by . An object class: @@ -1681,14 +1682,9 @@ TypeConstraints? shared \Ired red = \Ired(); - Where \Ired is a name generated by the compiler. - The algorithm for generating this name is not specified here. - - Note that a member of an anonymous class that is not annotated - actual may only be accessed from within the body of - the anonymous class or by directly invoking the object - attribute. - + Where \Ired is the type name assigned by the + compiler. + shared object sql { shared String escape(String string) { ... } }