Guest User

Untitled

a guest
Feb 18th, 2019
80
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.83 KB | None | 0 0
  1. Index: typing/env.ml
  2. ===================================================================
  3. --- typing/env.ml (revision 16144)
  4. +++ typing/env.ml (working copy)
  5. @@ -441,7 +441,7 @@
  6. let (p, desc) = EnvTbl.find_same id env.components
  7. in desc
  8. with Not_found ->
  9. - if Ident.persistent id
  10. + if Ident.persistent id && not (Ident.name id = !current_unit)
  11. then (find_pers_struct (Ident.name id)).ps_comps
  12. else raise Not_found
  13. end
  14. @@ -550,7 +550,7 @@
  15. let (p, data) = EnvTbl.find_same id env.modules
  16. in data
  17. with Not_found ->
  18. - if Ident.persistent id then
  19. + if Ident.persistent id && not (Ident.name id = !current_unit)
  20. let ps = find_pers_struct (Ident.name id) in
  21. md (Mty_signature(Lazy.force ps.ps_sig))
  22. else raise Not_found
Add Comment
Please, Sign In to add comment