From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p41AuZXm027721 for ; Sun, 1 May 2011 12:56:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AioDAGM7vU3UGyoBlGdsb2JhbACECkehSRQBAQEBCQsJCRQDIrJoj2iBKoNVgQEEkxIdiW4 X-IronPort-AV: E=Sophos;i="4.64,297,1301868000"; d="scan'208";a="107169771" Received: from smtp1-g21.free.fr ([212.27.42.1]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 May 2011 12:56:38 +0200 Received: from [192.168.0.3] (unknown [82.226.84.212]) by smtp1-g21.free.fr (Postfix) with ESMTP id 4A930940112; Sun, 1 May 2011 12:56:31 +0200 (CEST) From: redfire To: Basile Starynkevitch Cc: caml-list@inria.fr In-Reply-To: <20110501123045.bfd38cf6.basile@starynkevitch.net> References: <1304244654.4147.34.camel@localhost.localdomain> <20110501123045.bfd38cf6.basile@starynkevitch.net> Content-Type: text/plain; charset="UTF-8" Date: Sun, 01 May 2011 12:55:07 +0200 Message-ID: <1304247307.4147.53.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.30.3 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Byte code generation for the Ocaml virtual machine (ZAM) Salut Basile, Je compile un sous ensemble de Scheme vers la ZAM. La machine virtuelle d'Ocaml n'étant pas typée pour Scheme, je dois implémenter un mécanisme qui va me permettre de tester les types à l'exécution. D'après ce que j'ai compris, la machine virtuelle ne prend en compte que les entiers de base. Le reste est géré par l'intermédiaire de primitives C. Donc par exemple, si dans le programme source Scheme il est écrit (display 5), je voulais stocker dans l'environnement global un couple (2, 5). Le 2 représentant le type integer ici. Comme ça à l'exécution, je sais que je dois convertir cet entier en une chaîne de caractères à l'aide de la primitive C correspondante. Donc ici, je souhaitais sérialiser (2, 5) dans la zone data (avec le module Marshall) en espérant récupérer un bloc composé d'au moins deux champs dont deux d'entre eux seraient, le type et la valeur. Malheureusement, je ne parviens pas à ce résultat. Je ne récupère que le 5. En écrivant ce mail, je pense à une autre technique qui consisterait plutôt à sérialiser seulement la valeur (vu que je ne parviens qu'à récupérer celle-ci) et à générer le bloc à l'aide de MAKEBLOCK. Mais ça me ferait modifier pas mal de choses. Donc mon principal problème concerne la mise en place de ces couples dans la zone data et leur récupération. Dans le mail précédent, j'expliquais que j'ai trouvé un exemple sur internet qui sérialisait les données dans un tableau à l'aide de Obj.repr pour mettre des données de types différents dans un même tableau. Ensuite il fait un output value et ça fonctionne. Sauf que ce morceau de code ne travaille que sur des données de types primitifs et non pas de couples ou autres. Je souhaite simplement pouvoir stocker un couple et récupérer chacun des champs. Mais je n'ai pas trouvé de documentation qui explique clairement et dans le détail comment tout ceci peut-être effectué. J'espère avoir été un peu plus clair. Il y a peut-être un moyen beaucoup plus simple de réaliser ceci mais je ne le connais pas. Merci à toi ;-) Amicalement. -- Jérémie Salvucci Le dimanche 01 mai 2011 à 12:30 +0200, Basile Starynkevitch a écrit : > On Sun, 01 May 2011 12:10:54 +0200 > redfire wrote: > > > Hello all, > > > > I'm currently doing a student project where I have to generate bytecode > > for the caml virtual machine. I convert a subset of the Scheme language. > > My main issue concerns the dynamic typing mechanism. My idea is to store > > every values I manipulate like this (type, value). > > Salut Jérémie, > > je suis très heureux de te lire. Par contre, je n'ai pas compris ton message (alors que je connais bien Ocaml et bien son bytecode). C'est quoi ton but exact? Coder un Scheme en Ocaml? > > Amicalement > > >