Enable kind checking on typarams, fix kind constraints in library and comp.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/comp/syntax/util/interner.rs b/src/comp/syntax/util/interner.rs
index ec484356089..9474ddd16d2 100644
--- a/src/comp/syntax/util/interner.rs
+++ b/src/comp/syntax/util/interner.rs
@@ -16,11 +16,11 @@ type interner[T] =
      hasher: hashfn[T],
      eqer: eqfn[T]};
 
-fn mk[T](hasher: hashfn[T], eqer: eqfn[T]) -> interner[T] {
+fn mk[@T](hasher: hashfn[T], eqer: eqfn[T]) -> interner[T] {
     let m = map::mk_hashmap[T, uint](hasher, eqer);
     ret {map: m, mutable vect: ~[], hasher: hasher, eqer: eqer};
 }
-fn intern[T](itr: &interner[T], val: &T) -> uint {
+fn intern[@T](itr: &interner[T], val: &T) -> uint {
     alt itr.map.find(val) {
       some(idx) { ret idx; }
       none. {