Browse Source

fix warnings

Rudy Ges 1 year ago
parent
commit
2d82185437
2 changed files with 3 additions and 4 deletions
  1. 3 3
      src/context/common.ml
  2. 0 1
      src/typing/finalization.ml

+ 3 - 3
src/context/common.ml

@@ -313,11 +313,11 @@ class module_lut = object(self)
 		with Not_found ->
 		with Not_found ->
 			type_lut#add t.mt_path m.m_path
 			type_lut#add t.mt_path m.m_path
 
 
-	method add (path : path) (m : module_def) =
+	method! add (path : path) (m : module_def) =
 		super#add path m;
 		super#add path m;
 		List.iter (fun mt -> self#add_module_type m mt) m.m_types
 		List.iter (fun mt -> self#add_module_type m mt) m.m_types
 
 
-	method remove (path : path) =
+	method! remove (path : path) =
 		try
 		try
 			List.iter (fun mt -> type_lut#remove (t_path mt)) (self#find path).m_types;
 			List.iter (fun mt -> type_lut#remove (t_path mt)) (self#find path).m_types;
 			super#remove path;
 			super#remove path;
@@ -327,7 +327,7 @@ class module_lut = object(self)
 	method find_by_type (path : path) =
 	method find_by_type (path : path) =
 		self#find (type_lut#find path)
 		self#find (type_lut#find path)
 
 
-	method clear =
+	method! clear =
 		super#clear;
 		super#clear;
 		type_lut#clear
 		type_lut#clear
 
 

+ 0 - 1
src/typing/finalization.ml

@@ -1,6 +1,5 @@
 open Globals
 open Globals
 open Common
 open Common
-open Lookup
 open Type
 open Type
 open Error
 open Error
 open TyperBase
 open TyperBase