comparison graal/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/TypeSystemErrorsTest.java @ 11479:fce94b1d46f0

Truffle-DSL: fixed the @TypeSystem of child nodes were not checked for equality.
author Christian Humer <christian.humer@gmail.com>
date Fri, 30 Aug 2013 15:28:22 +0200
parents 88316d1c4644
children 64dcb92ee75a
comparison
equal deleted inserted replaced
11473:1ccb36a32f87 11479:fce94b1d46f0
21 * questions. 21 * questions.
22 */ 22 */
23 package com.oracle.truffle.api.dsl.test; 23 package com.oracle.truffle.api.dsl.test;
24 24
25 import com.oracle.truffle.api.dsl.*; 25 import com.oracle.truffle.api.dsl.*;
26 import com.oracle.truffle.api.dsl.test.TypeSystemTest.*;
26 27
27 public class TypeSystemErrorsTest { 28 public class TypeSystemErrorsTest {
28 29
29 @TypeSystem({int.class, boolean.class}) 30 @TypeSystem({int.class, boolean.class})
30 public static class Types0 { 31 public static class Types0 {
57 return (boolean) value; 58 return (boolean) value;
58 } 59 }
59 60
60 } 61 }
61 62
63 @TypeSystemReference(Types0.class)
64 @NodeChild
65 @ExpectError("The @TypeSystem of the node and the @TypeSystem of the @NodeChild does not match. Types0 != SimpleTypes. ")
66 abstract static class ErrorNode1 extends ValueNode {
67
68 }
69
62 } 70 }