1 files changed, 13 insertions, 0 deletions
diff --git a/Chalice/refinements/TestRefines.chalice b/Chalice/refinements/TestRefines.chalice
new file mode 100644
index 00000000..2cfc19b2
--- /dev/null
+++ b/Chalice/refinements/TestRefines.chalice
@@ -0,0 +1,13 @@
+class A {
+  var x:int;
+  function f():int {1}
+  method m(i:int) returns (j:int) {
+    var j [j > 0];    
+  }
+}
+
+class B refines C {}
+class C refines D {}
+class D refines A {
+  transforms m(i:int) returns (j:int, k:int) {*} 
+}