diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-01-22 03:15:14 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-01-22 03:15:14 +0000 |
| commit | 50de05d31dc9cf925d0da11042b65de71bd4d2b4 (patch) | |
| tree | 87084327904477f637ff78d1442d424c395a9418 /typing/typeclass.mli | |
| parent | db66874712834b5a66796ca6dc7c7df11d010bc9 (diff) | |
| download | ocaml-50de05d31dc9cf925d0da11042b65de71bd4d2b4.tar.gz | |
first attempt: handles only unification errors
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index 9841ed4010..b898284a80 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -75,6 +75,6 @@ type error = | Mutability_mismatch of string * mutable_flag | No_overriding of string * string -exception Error of Location.t * error +exception Error of Location.t * Env.t * error -val report_error : formatter -> error -> unit +val report_error : Env.t -> formatter -> error -> unit |