Browse thread
programmatic access to ocaml type checker
-
Yitzhak Mandelbaum
-
Hendrik Tews
- David MENTRE
-
Hendrik Tews
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | David MENTRE <david.mentre@g...> |
| Subject: | Re: [Caml-list] programmatic access to ocaml type checker |
Hello, > Yitzhak Mandelbaum <yitzhakm@CS.Princeton.EDU> writes: > > Is there any way to > access the type-checker used by ocamlc so that I can type check You can access type information from ocamldoc's custom generator but, of course, you won't be able to influence type checking. Yours, d.