Version française
Home     About     Download     Resources     Contact us    
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
Hi,
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?

Thanks,
Yitzhak