Skip to content
This repository
Browse code

new_tvar was too restrictive

  • Loading branch information...
commit eae016a9e95d02425272ed8f1f9a6be1f2aea490 1 parent 6181436
Julien Verlaguet authored April 15, 2011

Showing 1 changed file with 4 additions and 3 deletions. Show diff stats Hide diff stats

  1. 7  compiler/naming.ml
7  compiler/naming.ml
@@ -181,10 +181,11 @@ end = struct
181 181
     let t, env, id = new_id t env x in
182 182
     { t with types = env }, id
183 183
 
184  
-  let new_tvar t x = 
  184
+  let new_tvar t (p, x) = 
185 185
     let env = t.tvars in
186  
-    let t, env, id = new_id t env x in
187  
-    { t with tvars = env }, id
  186
+    let id = Ident.make x in
  187
+    let env = SMap.add x id env in
  188
+    { t with tvars = env }, (p, id)
188 189
 
189 190
   let new_cstr t x = 
190 191
     let env = t.cstrs in

0 notes on commit eae016a

Please sign in to comment.
Something went wrong with that request. Please try again.