clean up macro examples and README.md, remove run.dart script

working/macros/example/README.md

@@ -1,15 +1,20 @@
 **DISCLAIMER**: All code in this package is experimental and should be treated
-as such.
-
-This package some example macros (under `lib`), as well as some utilities to try
-actually running those examples.
+as such. The examples are unstable and may or may not work at any given time,
+depending on the implementation status.
 
 ## Setup
 
 Your SDK will need to match roughly the commit pinned in the pubspec.yaml file
 of this package (see the `ref` lines). Otherwise you will get a kernel version
 mismatch.
 
+## Examples
+
+The example macros live under `lib/` and there are programs using them under
+`bin/`. To try and run an example, you need to enable the `macros` experiment,
+`dart --enable-experiment=macros <script>`, but the implementations do not yet
+support all the examples here so you should expect errors.
+
 ## Benchmarks
 
 There is a basic benchmark at `benchmark/simple.dart`. You can run this tool
@@ -19,12 +24,3 @@ environment (compiler).
 
 This benchmark uses a synthetic program, and only benchmarks the overhead of
 running the macro itself, and the communication to and from the host program.
-
-## Examples
-
-There is an example program at `bin/user_main.dart`. This _cannot_ be directly
-executed but you can compile and execute it with the `bin/run.dart` script.
-
-**NOTE**: This is not meant to be a representative example of how a script using
-macros would be compiled and ran in the real world, but it does allow you to
-execute the program.

working/macros/example/analysis_options.yaml

@@ -7,5 +7,4 @@ analyzer:
     # TODO: remove these when the analyzer supports macros enough to run them
     - bin/checks_main.dart
     - bin/injectable_main.dart
-    - bin/user_main.dart
     - bin/json_serializable_main.dart

working/macros/example/bin/auto_dispose_main.dart

@@ -0,0 +1,37 @@
+import 'package:macro_proposal/auto_dispose.dart';
+
+void main() {
+  var state = MyState(a: ADisposable(), b: BDisposable(), c: 'hello world');
+  state.dispose();
+}
+
+@AutoDispose()
+class MyState extends State {
+  final ADisposable a;
+  final ADisposable? a2;
+  final BDisposable b;
+  final String c;
+
+  MyState({required this.a, this.a2, required this.b, required this.c});
+
+  @override
+  String toString() => 'MyState!';
+}
+
+class State {
+  void dispose() {
+    print('disposing of $this');
+  }
+}
+
+class ADisposable implements Disposable {
+  void dispose() {
+    print('disposing of ADisposable');
+  }
+}
+
+class BDisposable implements Disposable {
+  void dispose() {
+    print('disposing of BDisposable');
+  }
+}

working/macros/example/bin/data_class_main.dart

@@ -0,0 +1,25 @@
+// Copyright (c) 2022, the Dart project authors. Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+import 'package:macro_proposal/data_class.dart';
+
+void main() {
+  var joe = User(age: 25, name: 'Joe', username: 'joe1234');
+  print(joe);
+
+  var phoenix = joe.copyWith(name: 'Phoenix', age: 23);
+  print(phoenix);
+}
+
+@DataClass()
+class User {
+  final int age;
+  final String name;
+  final String username;
+}
+
+@DataClass()
+class Manager extends User {
+  final List<User> reports;
+}

working/macros/example/lib/auto_dispose.dart

@@ -23,6 +23,7 @@ macro class AutoDispose implements ClassDeclarationsMacro, ClassDefinitionMacro
     }
 
     builder.declareInType(DeclarationCode.fromParts([
+      // TODO: Remove external once the CFE supports it.
       'external void dispose();',
     ]));
   }
@@ -62,7 +63,10 @@ macro class AutoDispose implements ClassDeclarationsMacro, ClassDefinitionMacro
     var disposeBuilder = await builder.buildMethod(disposeMethod.identifier);
     disposeBuilder.augment(FunctionBodyCode.fromParts([
       '{\n',
-      if (!disposeMethod.hasBody) 'super.dispose();' else 'augmented();',
+      if (disposeMethod.hasExternal || !disposeMethod.hasBody)
+        'super.dispose();'
+      else
+        'augmented();',
       ...disposeCalls,
       '}',
     ]));