Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
programmatic access to ocaml type checker
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Yitzhak Mandelbaum <yitzhakm@C...>
Subject: programmatic access to ocaml type checker
I'm interested in using ocaml expressions in a domain specific 
language. I'm using camlp4 for the parsing. Is there any way to access 
the type-checker used by ocamlc so that I can type check the ocaml code 
fragments that appear in my DSL programs?