diff options
author | michajlo <michajlo@google.com> | 2017-09-05 21:41:08 +0200 |
---|---|---|
committer | Yun Peng <pcloudy@google.com> | 2017-09-06 10:10:17 +0200 |
commit | 6201011165ddc42f22b4ee8718070b4bd58783ad (patch) | |
tree | c1559988bab716699fe247b5af542c0fa56a0e15 /src | |
parent | 12b2379c4886316be6c2c575eb09f59a7c55cc33 (diff) |
Remove general list type
AFAICT this is unused, remove before it becomes used.
PiperOrigin-RevId: 167616353
Diffstat (limited to 'src')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/syntax/Type.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/syntax/Type.java b/src/main/java/com/google/devtools/build/lib/syntax/Type.java index 731d0ccb95..032a939ee0 100644 --- a/src/main/java/com/google/devtools/build/lib/syntax/Type.java +++ b/src/main/java/com/google/devtools/build/lib/syntax/Type.java @@ -697,9 +697,4 @@ public abstract class Type<T> { } } } - - /** - * The type of a general list. - */ - public static final ListType<Object> LIST = new ListType<>(new ObjectType()); } |