Commit ece24d3b authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

Fixes to be compliant with Table sig

parent 0505f8c5
......@@ -24,7 +24,7 @@ LIBDIR = -I +dypgen -I +camlp4
PREVIOUS_DIRS = ../utils ../logic ../grammars
# Source files in the right order of dependance
ML = sign.ml display.ml typechecker.ml
ML = utilitaires.ml display.ml typechecker.ml sign.ml
EXE_SOURCES = test.ml
####################################
......
......@@ -24,7 +24,7 @@ LIBDIR = -I +dypgen -I +camlp4
PREVIOUS_DIRS = ../utils ../logic ../grammars
# Source files in the right order of dependance
ML = sign.ml display.ml typechecker.ml
ML = utilitaires.ml display.ml typechecker.ml sign.ml
EXE_SOURCES = test.ml
####################################
......
......@@ -6,7 +6,7 @@ open Error
module Utilitaires =
struct
module Table : TABLE = Make_table (struct let b = 10 end)
module Table : TABLE with type key = int = Make_table (struct let b = 10 end)
let verbose = false
......
......@@ -7,7 +7,7 @@ open Lambda
module Utilitaires :
sig
module Table : TABLE
module Table : TABLE with type key=int
(** The type of the signature as abstract object *)
type t
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment