From 3e63fdc4c9a2b3c4855b54da1ac3a0f672b68a26 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 28 Jul 2011 13:29:29 -0700
Subject: Thread kinds into the type system. Don't quite activate yet, since it
 breaks stdlib and snapshot isn't ready to compile modified stdlib.

---
 src/comp/syntax/ast.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/comp/syntax')

diff --git a/src/comp/syntax/ast.rs b/src/comp/syntax/ast.rs
index e09be2b3f33..1a435f547b1 100644
--- a/src/comp/syntax/ast.rs
+++ b/src/comp/syntax/ast.rs
@@ -46,7 +46,7 @@ tag def {
 
     /* variant */
     def_ty(def_id);
-    def_ty_arg(uint);
+    def_ty_arg(uint, kind);
     def_binding(def_id);
     def_use(def_id);
     def_native_ty(def_id);
@@ -74,7 +74,7 @@ fn def_id_of_def(d: def) -> def_id {
       def_local(id) { ret id; }
       def_variant(_, id) { ret id; }
       def_ty(id) { ret id; }
-      def_ty_arg(_) { fail; }
+      def_ty_arg(_,_) { fail; }
       def_binding(id) { ret id; }
       def_use(id) { ret id; }
       def_native_ty(id) { ret id; }
-- 
cgit 1.4.1-3-g733a5