* programmatic access to ocaml type checker @ 2005-10-10 20:35 Yitzhak Mandelbaum 2005-10-12 7:45 ` [Caml-list] " Hendrik Tews 0 siblings, 1 reply; 3+ messages in thread From: Yitzhak Mandelbaum @ 2005-10-10 20:35 UTC (permalink / raw) To: caml-list 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] programmatic access to ocaml type checker 2005-10-10 20:35 programmatic access to ocaml type checker Yitzhak Mandelbaum @ 2005-10-12 7:45 ` Hendrik Tews 2005-10-12 13:04 ` David MENTRE 0 siblings, 1 reply; 3+ messages in thread From: Hendrik Tews @ 2005-10-12 7:45 UTC (permalink / raw) To: caml-list 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 No. Not from within a camlp4 parser or quotation expander. Bye, Hendrik ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] programmatic access to ocaml type checker 2005-10-12 7:45 ` [Caml-list] " Hendrik Tews @ 2005-10-12 13:04 ` David MENTRE 0 siblings, 0 replies; 3+ messages in thread From: David MENTRE @ 2005-10-12 13:04 UTC (permalink / raw) To: Hendrik Tews; +Cc: caml-list 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. ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2005-10-12 13:04 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2005-10-10 20:35 programmatic access to ocaml type checker Yitzhak Mandelbaum 2005-10-12 7:45 ` [Caml-list] " Hendrik Tews 2005-10-12 13:04 ` David MENTRE
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).