2002-06-27 Martin Baulig <martin@gnome.org>
[mono.git] / mcs / mcs / ChangeLog
index c032c2a6a5ea5e0ef3dcf87b263c79495ac8a04a..ebf45efede77196be8e10225c4f93ed82f9f90dc 100755 (executable)
@@ -1,3 +1,370 @@
+2002-06-27  Martin Baulig  <martin@gnome.org>
+
+       * ecore.cs (Expression.ImplicitReferenceConversionExists): Use
+       `target_type == TypeManager.array_type', not IsAssignableFrom() in
+       the "from an array-type to System.Array" case.  This makes it work
+       when compiling corlib.
+
+2002-06-27  Martin Baulig  <martin@gnome.org>
+
+       * ecore.cs (Expression.SimpleNameResolve): If the expression is a
+       non-static PropertyExpr, set its InstanceExpression.  This makes
+       the `ICollection.Count' property work in System/Array.cs.
+
+2002-06-25  Andrew Birkett  <adb@tardis.ed.ac.uk>
+
+       * driver.cs: Made error handling more consistent.  Errors now
+       tracked by Report class, so many methods which used to return int
+       now return void.  Main() now prints success/failure and 
+       errors/warnings message.
+
+       Renamed '--probe' compiler argument to '--expect-error'.  Removed
+       the magic number return values (123 and 124).  Now, if the
+       expected error occurs, the compiler exits with success (exit value
+       0).  If the compilation completes without seeing that particular
+       error, the compiler exits with failure (exit value 1).  The
+       makefile in mcs/errors has been changed to handle the new behaviour.
+
+       * report.cs: Made 'expected error' number a property and renamed
+       it from 'Probe' to 'ExpectedError'.
+
+       * genericparser.cs: Removed error handling support, since it is
+       now all done by Report class.
+
+       * cs-parser.jay, mb-parser.jay: Errors are tracked by Report
+       class, so parse() no longer returns an int.
+
+       * namespace.cs: Use Report.Error instead of GenericParser.error
+
+       
+2002-06-22  Miguel de Icaza  <miguel@ximian.com>
+
+       * class.cs (TypeContainer.AddMethod, TypeContainer.AddIndexer,
+       TypeContainer.AddOperator): At the front of the list put the
+       explicit implementations, so they get resolved/defined first. 
+
+2002-06-21  Miguel de Icaza  <miguel@ximian.com>
+
+       * class.cs (TypeContainer.VerifyImplements): Verifies that a given
+       interface type is implemented by this TypeContainer.  Used during
+       explicit interface implementation.
+
+       (Property.Define, Indexer.Define, Method.Define): Validate that
+       the given interface in the explicit implementation is one of the
+       base classes for the containing type.
+
+       Also if we are explicitly implementing an interface, but there is
+       no match in the pending implementation table, report an error.
+
+       (Property.Define): Only define the property if we are
+       not explicitly implementing a property from an interface.  Use the
+       correct name also for those properties (the same CSC uses,
+       although that is really not needed).
+       
+       (Property.Emit): Do not emit attributes for explicitly implemented
+       properties, as there is no TypeBuilder.
+
+       (Indexer.Emit): ditto.
+
+       Hiding then means that we do not really *implement* a pending
+       implementation, which makes code fail.
+
+2002-06-22  Martin Baulig  <martin@gnome.org>
+
+       * ecore.cs (Expression.Constantify): Call TypeManager.TypeToCoreType() on
+       the return value of Object.GetType().  [FIXME: we need to do this whenever
+       we get a type back from the reflection library].
+
+Fri Jun 21 13:37:57 CEST 2002 Paolo Molaro <lupus@ximian.com>
+
+       * typemanager.cs: make ExpandInterfaces() slip duplicated interfaces.
+
+2002-06-20  Miguel de Icaza  <miguel@ximian.com>
+
+       * attribute.cs: Return null if we can not look up the type.
+
+       * class.cs (TypeContainer.GetClassBases): Use ExpandInterfaces on
+       the interface types found.
+
+       * interface.cs (Interface.GetInterfaceBases): Use ExpandInterfaces on the
+       interface types found.
+
+       * typemanager.cs (GetInterfaces): Make this routine returns alll
+       the interfaces and work around the lame differences between
+       System.Type and System.Reflection.Emit.TypeBuilder in the results
+       result for GetInterfaces.
+       
+       (ExpandInterfaces): Given an array of interface types, expand and
+       eliminate repeated ocurrences of an interface.  This expands in
+       context like: IA; IB : IA; IC : IA, IB; the interface "IC" to
+       be IA, IB, IC.
+       
+2002-06-21  Martin Baulig  <martin@gnome.org>
+
+       * typemanager.cs (TypeManager.EnumToUnderlying): It's now safe to call this function
+       on System.Enum.
+
+2002-06-21  Martin Baulig  <martin@gnome.org>
+
+       * typemanager.cs (TypeManager.TypeToCoreType): New function.  When compiling corlib
+       and called with one of the core types, return the corresponding typebuilder for
+       that type.
+
+       * expression.cs (ArrayAccess.DoResolve): Call TypeManager.TypeToCoreType() on the
+       element type.
+
+2002-06-21  Martin Baulig  <martin@gnome.org>
+
+       * ecore.cs (Expression.ExplicitReferenceConversionExists): Use
+       `target_type.IsArray' instead of `target_type.IsSubclassOf (TypeManager.array_type)'.
+       (Expression.ConvertReferenceExplicit): Likewise.
+
+       * expression.cs (ElementAccess.DoResolve): Likewise.
+       (ElementAccess.DoResolveLValue): Likewise.
+
+2002-06-10  Martin Baulig  <martin@gnome.org>
+
+       * interface.cs (Interface.PopulateIndexer): When creating the setter, we need to
+       add the "value" parameter to the parameter list.
+
+       * statement.cs (Fixed.Emit): Pass the return value of the child block's Emit()
+       to our caller.
+
+2002-06-19  Miguel de Icaza  <miguel@ximian.com>
+
+       * expression.cs (ArrayCreation.ExpressionToArrayArgument): Convert
+       the argument to an int, uint, long or ulong, per the spec.  Also
+       catch negative constants in array creation.
+
+Thu Jun 20 17:56:48 CEST 2002 Paolo Molaro <lupus@ximian.com>
+
+       * class.cs: do not allow the same interface to appear twice in
+       the definition list.
+
+Wed Jun 19 22:33:37 CEST 2002 Paolo Molaro <lupus@ximian.com>
+
+       * ecore.cs: don't use ldlen with System.Array.
+
+Wed Jun 19 20:57:40 CEST 2002 Paolo Molaro <lupus@ximian.com>
+
+       * ecore.cs: stobj requires a type argument. Handle indirect stores on enums.
+
+Wed Jun 19 20:17:59 CEST 2002 Paolo Molaro <lupus@ximian.com>
+
+       * modifiers.cs: produce correct field attributes for protected
+       internal. Easy fix so miguel can work on ther harder stuff:-)
+
+2002-06-18  Miguel de Icaza  <miguel@ximian.com>
+
+       * pending.cs: New file.  Move the code from class.cs here.
+       Support clearning the pending flag for all methods (when not doing
+       explicit interface implementation).
+
+Tue Jun 18 10:36:22 CEST 2002 Paolo Molaro <lupus@ximian.com>
+
+       * rootcontext.cs: added a couple more types needed to bootstrap.
+
+2002-06-17  Miguel de Icaza  <miguel@ximian.com>
+
+       * typemanager.cs (GetConstructor): Use DeclaredOnly to look the
+       constructor in the type, instead of any constructor in the type
+       hierarchy.  Thanks to Paolo for finding this bug (it showed up as
+       a bug in the Mono runtime when applying the params attribute). 
+
+2002-06-16  Rafael Teixeira  <rafaelteixeirabr@hotmail.com>
+       * changed namespace.cs to use "GenericParser.error(...)" instead of "CSharpParser.error(...)"
+
+2002-06-14  Rachel Hestilow  <hestilow@ximian.com>
+
+       * expression.cs (Unary.ResolveOperator): Use TypeManager
+       to resolve the type.
+       
+2002-06-13  Ravi Pratap  <ravi@ximian.com>
+
+       * cs-parser.jay (enum_member_declaration): Pass in the attributes
+       attached.
+
+       * enum.cs (AddEnumMember): Add support to store the attributes associated 
+       with each member too.
+
+       * attribute.cs (CheckAttribute, ApplyAttributes): Update to handle
+       field builders too - this takes care of the enum member case.
+
+2002-06-10  Rachel Hestilow  <hestilow@ximian.com>
+
+       * typemanager.cs (TypeManager.VerifyUnManaged): Allow
+       address-of operator on both value types and pointers.
+       
+2002-06-10  Martin Baulig  <martin@gnome.org>
+
+       * interface.cs (Interface.PopulateIndexer): Add the indexer's
+       PropertyBuilder to the `property_builders' list.
+
+       * expression.cs (Indexers.GetIndexersForTypeOrInterface): New private method.
+       (Indexers.GetIndexersForType): Call GetIndexersForTypeOrInterface() on the
+       `lookup_type' and all its interfaces.  Unfortunately, Type.FindMembers() won't
+       find any indexers which are inherited from an interface.
+
+2002-06-09  Martin Baulig  <martin@gnome.org>
+
+       * const.cs (Const.LookupConstantValue): Convert `Expr' to a literal of
+       the same type as the constant if necessary.  There's also a test-130.cs
+       for this.
+
+       * enum.cs (Enum.ChangeEnumType): Moved to typemanager.cs and made public.
+
+       * typemanager.cs (TypeManager.ChangeType): Previously known as
+       Enum.ChangeEnumType().
+
+2002-06-09  Martin Baulig  <martin@gnome.org>
+
+       * expression.cs (Cast.TryReduce): Added support for consts.
+
+2002-06-08  Ravi Pratap  <ravi@ximian.com>
+
+       * class.cs (Accessor): Hold attributes information so we can pass
+       it along.
+
+       * cs-parser.jay (get_accessor_declaration, set_accessor_declaration):
+       Modify to pass in attributes attached to the methods.
+
+       (add_accessor_declaration, remove_accessor_declaration): Ditto.
+
+       * attribute.cs (ApplyAttributes, CheckAttribute): Update accordingly
+       to handle the Accessor kind :-)
+
+       * class.cs (Property.Emit, Event.Emit): Apply attributes to the accessors
+       
+2002-06-08  Martin Baulig  <martin@gnome.org>
+
+       * expression.cs (Unary.TryReduceNegative): Added support for
+       ULongConstants.
+
+2002-06-08  Martin Baulig  <martin@gnome.org>
+
+       * enum.cs (Enum.LookupEnumValue): Don't report an error if the
+       name can't be found in the `defined_names' - the caller will do a
+       MemberLookup in this case and thus find methods in System.Enum
+       such as Enum.IsDefined().
+
+2002-06-08  Martin Baulig  <martin@gnome.org>
+
+       * enum.cs (Enum.ChangeEnumType): This is a custom version of
+       Convert.ChangeType() which works with TypeBuilder created types.
+       (Enum.LookupEnumValue, Enum.Define): Use it here.
+
+       * class.cs (TypeContainer.RegisterRequiredImplementations): Added
+       `TypeBuilder.BaseType != null' check.
+       (TypeContainer.FindMembers): Only lookup parent members if we
+       actually have a parent.
+       (Method.EmitDestructor): Added `ec.ContainerType.BaseType != null' check.
+       (ConstructorInitializer.Resolve): Likewise.
+
+       * interface.cs (Interface.FindMembers): Added
+       `TypeBuilder.BaseType != null' check.
+
+       * rootcontext.cs (RootContext.ResolveCore): Added
+       "System.Runtime.CompilerServices.IndexerNameAttribute" to
+       classes_second_stage.
+
+       * typemanager.cs (TypeManager.InitCoreTypes): Don't initialize
+       debug_type and trace_type when compiling with --nostdlib.       
+
+2002-06-07  Martin Baulig  <martin@gnome.org>
+
+       * class.cs (TypeContainer): Added `have_nonstatic_fields' field.
+       (AddField): Set it to true when adding a non-static field.
+       (DefineType): Use `have_nonstatic_fields' to find out whether we
+       have non-static fields, not `Fields != null'.
+
+2002-06-02  Miguel de Icaza  <miguel@ximian.com>
+
+       * ecore.cs (SimpleNameResolve): Removed simple bug (we were
+       dereferencing a null on the static-field code path)
+
+2002-05-30  Martin Baulig  <martin@gnome.org>
+
+       * codegen.cs (InitMonoSymbolWriter): Added `string[] args' argument
+       to take command line arguments.  Use reflection to call the new
+       custom `Initialize' function on the symbol writer and pass it the
+       command line arguments.
+
+       * driver.cs (--debug-args): New command line argument to pass command
+       line arguments to the symbol writer.
+
+2002-05-28  Miguel de Icaza  <miguel@ximian.com>
+
+       * assign.cs (DoResolve): Forgot to do the implicit conversion to
+       the target type for indexers and properties.  Thanks to Joe for
+       catching this.
+
+2002-05-27  Miguel de Icaza  <miguel@ximian.com>
+
+       * typemanager.cs (MethodFlags): returns the method flags
+       (Obsolete/ShouldIgnore) that control warning emission and whether
+       the invocation should be made, or ignored. 
+
+       * expression.cs (Invocation.Emit): Remove previous hack, we should
+       not do this on matching a base type, we should do this based on an attribute
+
+       Only emit calls to System.Diagnostics.Debug and
+       System.Diagnostics.Trace if the TRACE and DEBUG defines are passed
+       on the command line.
+
+       * rootcontext.cs: Global settings for tracing and debugging.
+
+       * cs-tokenizer.cs (define): New utility function to track
+       defines.   Set the global settings for TRACE and DEBUG if found.
+
+2002-05-25  Ravi Pratap  <ravi@ximian.com>
+
+       * interface.cs (Populate*): Pass in the TypeContainer as well as
+       the DeclSpace as parameters so that we can create EmitContexts and
+       then use that to apply attributes etc.
+
+       (PopulateMethod, PopulateEvent, PopulateProperty)
+       (PopulateIndexer): Apply attributes everywhere.
+
+       * attribute.cs (CheckAttribute): Include InterfaceMethod, InterfaceEvent
+       etc.
+
+       (ApplyAttributes): Update accordingly.
+
+       We now apply interface attributes for all members too.
+
+2002-05-26  Miguel de Icaza  <miguel@ximian.com>
+
+       * class.cs (Indexer.Define); Correctly check if we are explicit
+       implementation (instead of checking the Name for a ".", we
+       directly look up if the InterfaceType was specified).
+
+       Delay the creation of the PropertyBuilder.
+
+       Only create the PropertyBuilder if we are not an explicit
+       interface implementation.   This means that explicit interface
+       implementation members do not participate in regular function
+       lookups, and hence fixes another major ambiguity problem in
+       overload resolution (that was the visible effect).
+
+       (DefineMethod): Return whether we are doing an interface
+       implementation. 
+       
+       * typemanager.cs: Temporary hack until we get attributes in
+       interfaces (Ravi is working on that) and we get IndexerName
+       support in interfaces.
+
+       * interface.cs: Register the indexers as properties.
+
+       * attribute.cs (Attribute.Resolve): Catch the error, and emit a
+       warning, I have verified that this is a bug in the .NET runtime
+       (JavaScript suffers of the same problem).
+
+       * typemanager.cs (MemberLookup): When looking up members for
+       interfaces, the parent of an interface is the implicit
+       System.Object (so we succeed in searches of Object methods in an
+       interface method invocation.  Example:  IEnumerable x;  x.ToString
+       ()) 
+
 2002-05-25  Miguel de Icaza  <miguel@ximian.com>
 
        * class.cs (Event): Events should also register if they do