<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/12/6cf84c26831187ed2809557c6222ca2e"
  from="Dave Newman &lt;tinman@p...&gt;"
  author="Dave Newman"
  date="2002-12-28T19:21:09"
  subject="[Caml-list] Can One Define LISP-like Macros in Ocaml?"
  prev="2002/12/7f2c6d5f95fe36d48618665d70912711"
  next="2002/12/1ede51c3f4d12b247c7d8880d9135aba"
  prev-in-thread="2002/12/e8956ad76e72ddd27c1ee0c4c94f2234"
  next-in-thread="2002/12/1ede51c3f4d12b247c7d8880d9135aba"
  prev-thread="2002/12/20995c2eed42f26e0a7193d54f646852"
  next-thread="2002/12/0a20c8ad6f2bdd101d65c6f54b7dfd02"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="Re: [Caml-list] Guards vs. conditionals">
<msg 
  url="2002/12/e8956ad76e72ddd27c1ee0c4c94f2234"
  from="Matt Gushee &lt;mgushee@h...&gt;"
  author="Matt Gushee"
  date="2002-12-27T07:37:18"
  subject="Re: [Caml-list] Guards vs. conditionals">
<msg 
  url="2002/12/6cf84c26831187ed2809557c6222ca2e"
  from="Dave Newman &lt;tinman@p...&gt;"
  author="Dave Newman"
  date="2002-12-28T19:21:09"
  subject="[Caml-list] Can One Define LISP-like Macros in Ocaml?">
<msg 
  url="2002/12/1ede51c3f4d12b247c7d8880d9135aba"
  from="Basile STARYNKEVITCH &lt;basile@s...&gt;"
  author="Basile STARYNKEVITCH"
  date="2002-12-28T19:47:51"
  subject="[Caml-list] Can One Define LISP-like Macros in Ocaml?">
<msg 
  url="2002/12/32b7837886085ff44ab3f8bd73a68204"
  from="Dave Newman &lt;tinman@p...&gt;"
  author="Dave Newman"
  date="2002-12-29T03:11:22"
  subject="Re: [Caml-list] Can One Define LISP-like Macros in Ocaml?">
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>
Seeing the LISP like output from -dlambda reminded me of a question 
I've had about ocaml.

Is there any support for defining macros in ocaml akin to LISP defmacro?

--Dave



&gt;On Thu, Dec 26, 2002 at 09:55:09PM -0600, Gurr, David (MED, self) wrote:
&gt;&gt;  try "ocamlc -dlambda foo.ml"
&gt;
&gt;Wow. That outputs something that looks a lot like LISP. And -dlambda
&gt;seems to be undocumented, at least in the man page and the HTML user's
&gt;manual. What is it intended for?

{{{ text removed }}}

&gt;bash-2.05a$ ocamlc -dlambda foo1.ml
&gt;(setglobal Foo1!
&gt;   (seq
&gt;     (let (foo/56 (function i/57 (if (&gt;= i/57 500) 1a 0a)))
&gt;       (for i/59 1 to 100000
&gt;         (ignore (apply foo/56 (apply (field 4 (global Random!)) 1000)))))
&gt;     (makeblock 0)))
&gt;
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

