Re: [Caml-list] Camlp4-tutorial-Example

[Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>]

Hi,

On Sat, Sep 07, 2002 at 01:10:53AM +0200, Oliver Bandel wrote:

> Yes, i've seen that it is possible to get back functions
> that, if applied, will give the resulting int.
> But a) it's again int and b) all functions have same type.
> What if I need a function that returns back a string?

No problem. A grammar entry, like a function, can return any type.

But if you want that the arithmetic calculator of the example in
the Camlp4 tutorial can return any type, in this case, it is not
a problem of the Camlp4 grammar, but a problem of typing in OCaml.

How would you make a function returning values of several possible
types? Indeed with the type like you say:

> type myresult = Int of int | String of string

> P.S.: I looked at the example with List.assoc on page 11 and 12.
>       I think that's a way to implement own variables of a simple
>       language. Very easy, and again surprising.
>       (Here again: how to use string-variables in a language
>        to implement?)

In this case, the "env" list of the example must be of type:
    (string * myresult) list ref
And yo must enter the variable "foo" by:
    env := ("foo", Int 27) :: env

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
-------------------
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