| changeset 17808 | 846139633c68 |
| parent 17807 | 36cff8c58cdf |
| child 18010 | 604faee85350 |
| 17807:36cff8c58cdf | 17808:846139633c68 |
|---|---|
2929 cond, |
2929 cond, |
2930 makeUnary(NOT, tree.cond)); |
2930 makeUnary(NOT, tree.cond)); |
2931 } |
2931 } |
2932 result = |
2932 result = |
2933 make.If(cond, |
2933 make.If(cond, |
2934 make_at(detailPos). |
2934 make_at(tree). |
2935 Throw(makeNewClass(syms.assertionErrorType, exnArgs)), |
2935 Throw(makeNewClass(syms.assertionErrorType, exnArgs)), |
2936 null); |
2936 null); |
2937 } else { |
2937 } else { |
2938 result = make.Skip(); |
2938 result = make.Skip(); |
2939 } |
2939 } |