* 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).