mcs/mcs/repl.txt

   1 Things to do for the REPL support in MCS:
   2
   3 Documentation for the REPL mode for MCS can be found here:
   4
   5               http://mono-project.com/CsharpRepl
   6
   7 Apply the patch repl.patch to this directory, then either rebuild
   8 Mono, or go to mcs and type:
   9
  10         make q
  11         make repl
  12
  13 * Mix statements with other top-level declarations.
  14
  15 csharp> class Y {static void Main () {Console.WriteLine ("Foo"); }}
  16 csharp> typeof (Y);
  17 Y
  18 csharp> Y.Main ();
  19 Exception caught by the compiler while compiling:
  20    Block that caused the problem begin at: Internal(1,1):
  21                      Block being compiled: [<interactive>(1,2):,<interactive>(1,11):]
  22 System.NotSupportedException: The invoked member is not supported in a dynamic module.
  23 Internal compiler error at Internal(1,1):: exception caught while emitting MethodBuilder [Class2::Host]
  24 System.NotSupportedException: The invoked member is not supported in a dynamic module.
  25   at System.Reflection.Emit.AssemblyBuilder.get_Location () [0x00000] in /second/home/cvs/mcs/class/corlib/System.Reflection.Emit/AssemblyBuilder.cs:214
  26   at Mono.CSharp.Report.SymbolRelatedToPreviousError (System.Reflection.MemberInfo mi) [0x00036] in /second/home/cvs/mcs/mcs/report.cs:664
  27   at Mono.CSharp.Expression.Error_MemberLookupFailed (System.Type container_type, System.Type qualifier_type, System.Type queried_type, System.String name, System.String class_name, MemberTypes mt, BindingFlags bf) [0x00121] in /second/home/cvs/mcs/mcs/ecore.cs:857
  28   at Mono.CSharp.MemberAccess.DoResolve (Mono.CSharp.EmitContext ec, Mono.CSharp.Expression right_side) [0x00230] in /second/home/cvs/mcs/mcs/expression.cs:7426
  29   at Mono.CSharp.MemberAccess.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/expression.cs:7494
  30   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags flags) [0x00075] in /second/home/cvs/mcs/mcs/ecore.cs:479
  31   at Mono.CSharp.Invocation.DoResolve (Mono.CSharp.EmitContext ec) [0x0000d] in /second/home/cvs/mcs/mcs/expression.cs:4725
  32   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags flags) [0x00075] in /second/home/cvs/mcs/mcs/ecore.cs:479
  33   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/ecore.cs:506
  34   at Mono.CSharp.OptionalAssign.DoResolve (Mono.CSharp.EmitContext ec) [0x00013] in /second/home/cvs/mcs/mcs/repl.cs:681
  35   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags flags) [0x00075] in /second/home/cvs/mcs/mcs/ecore.cs:479
  36   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/ecore.cs:506
  37   at Mono.CSharp.ExpressionStatement.ResolveStatement (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/ecore.cs:1307
  38   at Mono.CSharp.StatementExpression.Resolve (Mono.CSharp.EmitContext ec) [0x0000b] in /second/home/cvs/mcs/mcs/statement.cs:743
  39   at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x000f0] in /second/home/cvs/mcs/mcs/statement.cs:2254
  40   at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/statement.cs:2550
  41   at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters ip, IMethodData md, System.Boolean& unreachable) [0x00087] in /second/home/cvs/mcs/mcs/codegen.cs:796
  42 csharp>
  43
  44 * Another one:
  45
  46 csharp> class X { X (){ Console.WriteLine ("Called"); } }
  47 csharp> new X ();
  48 Exception caught by the compiler while compiling:
  49    Block that caused the problem begin at: Internal(1,1):
  50                      Block being compiled: [<interactive>(1,2):,<interactive>(1,10):]
  51 System.NotSupportedException: The invoked member is not supported in a dynamic module.
  52 Internal compiler error at Internal(1,1):: exception caught while emitting MethodBuilder [Class0::Host]
  53 System.NotSupportedException: The invoked member is not supported in a dynamic module.
  54   at System.Reflection.Emit.AssemblyBuilder.get_Location () [0x00000] in /second/home/cvs/mcs/class/corlib/System.Reflection.Emit/AssemblyBuilder.cs:214
  55   at Mono.CSharp.Report.SymbolRelatedToPreviousError (System.Reflection.MemberInfo mi) [0x00036] in /second/home/cvs/mcs/mcs/report.cs:664
  56   at Mono.CSharp.Expression.Error_MemberLookupFailed (System.Type container_type, System.Type qualifier_type, System.Type queried_type, System.String name, System.String class_name, MemberTypes mt, BindingFlags bf) [0x00121] in /second/home/cvs/mcs/mcs/ecore.cs:857
  57   at Mono.CSharp.Expression.MemberLookupFinal (Mono.CSharp.EmitContext ec, System.Type qualifier_type, System.Type queried_type, System.String name, MemberTypes mt, BindingFlags bf, Location loc) [0x0002f] in /second/home/cvs/mcs/mcs/ecore.cs:804
  58   at Mono.CSharp.New.DoResolve (Mono.CSharp.EmitContext ec) [0x002ad] in /second/home/cvs/mcs/mcs/expression.cs:5486
  59   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags flags) [0x00075] in /second/home/cvs/mcs/mcs/ecore.cs:479
  60   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/ecore.cs:506
  61   at Mono.CSharp.OptionalAssign.DoResolve (Mono.CSharp.EmitContext ec) [0x00013] in /second/home/cvs/mcs/mcs/repl.cs:687
  62   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags flags) [0x00075] in /second/home/cvs/mcs/mcs/ecore.cs:479
  63   at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/ecore.cs:506
  64   at Mono.CSharp.ExpressionStatement.ResolveStatement (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/ecore.cs:1307
  65   at Mono.CSharp.StatementExpression.Resolve (Mono.CSharp.EmitContext ec) [0x0000b] in /second/home/cvs/mcs/mcs/statement.cs:743
  66   at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x000f0] in /second/home/cvs/mcs/mcs/statement.cs:2254
  67   at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /second/home/cvs/mcs/mcs/statement.cs:2550
  68   at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters ip, IMethodData md, System.Boolean& unreachable) [0x00087] in /second/home/cvs/mcs/mcs/codegen.cs:796
  69 csharp>
  70
  71 * Important: we need to replace TypeBuidlers with Types after things
  72   have been emitted, or stuff like this happens:
  73
  74 csharp> public class y  {}
  75 csharp> typeof (y);
  76 Class1
  77
  78
  79 * Clearing data
  80
  81         TODO: when clearing data for variables that have been overwritten
  82         we need to check for structs and clear all the fields that contain
  83         reference types.
  84
  85 *
  86 * Implement auto-insert-semicolon
  87
  88         This is easy to implement, just retry the parse with a
  89         semicolon, the question is whether this is a good idea to do
  90         in the first place or not.
  91
  92 * Tab Completion
  93
  94         Implement tab completion on names, variables and type lookups.
  95
  96         This could be implemented by having the TAB key force the
  97         expression to be evaluated with a special COMPLETE token
  98         at the end.
  99
 100         Then the various productions (one by one) would have to
 101         add support for COMPLETE, and having Resolve methods be
 102         aware of this.
 103