Index: pkg/immi_samples/lib/drawer.immi |
diff --git a/pkg/immi_samples/lib/drawer.immi b/pkg/immi_samples/lib/drawer.immi |
deleted file mode 100644 |
index 2d8298a0c1d28048bcb6ad4cc828a6ab95682f7e..0000000000000000000000000000000000000000 |
--- a/pkg/immi_samples/lib/drawer.immi |
+++ /dev/null |
@@ -1,18 +0,0 @@ |
-// Copyright (c) 2015, the Dartino 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.md file. |
- |
-// TODO(zerny): Support disjoint unions and syntax for optional values? |
-node EmptyPane {} |
- |
-node Drawer { |
- Node left; |
- Node center; |
- Node right; |
- |
- bool leftVisible; |
- bool rightVisible; |
- |
- void toggleLeft(); |
- void toggleRight(); |
-} |