diff options
| author | paltherr <paltherr@epfl.ch> | 2003-11-12 09:49:03 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-11-12 09:49:03 +0000 |
| commit | 4f7571ec6bcda9d3805ee69322b0005b67c696aa (patch) | |
| tree | b03fed3236a7d1aa0d71a49aef83d5fb43c62a94 /sources/scalac/ast | |
| parent | c743c68faa7ea719df74394bd744808e2f6090f6 (diff) | |
| download | scala-4f7571ec6bcda9d3805ee69322b0005b67c696aa.tar.gz scala-4f7571ec6bcda9d3805ee69322b0005b67c696aa.tar.bz2 scala-4f7571ec6bcda9d3805ee69322b0005b67c696aa.zip | |
- Added assertions
Diffstat (limited to 'sources/scalac/ast')
| -rw-r--r-- | sources/scalac/ast/TreeGen.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sources/scalac/ast/TreeGen.java b/sources/scalac/ast/TreeGen.java index c5800f5a68..1ad0d93b45 100644 --- a/sources/scalac/ast/TreeGen.java +++ b/sources/scalac/ast/TreeGen.java @@ -1131,6 +1131,9 @@ public class TreeGen implements Kinds, Modifiers, TypeTags { } public Tree Cons(int pos, Type elemtpe, Tree hd, Tree tl) { + assert hd.type().isSubType(elemtpe): elemtpe + " -- " + hd; + assert tl.type().isSubType(definitions.LIST_TYPE(elemtpe)): + elemtpe + " -- " + tl; return New(mkPrimaryConstr(pos, global.definitions .getClass( Names.scala_COLONCOLON ), |