Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Retyping module to a new signature
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Piotr Wieczorek <p.wieczorek@e...>
Subject: Retyping module to a new signature
I'm trying for quite a time, to make patch to Ocaml compiler which makes possible taking a bytecompiled module and producing identical module but conforming to a new signature.
I've used some code from bytepackager to calculate coercion and copy bytecode from original module to target one.
It works ok. But if order of functions in target signature is different then in source signature, calling a function may cause not running right one, but another.
Can you tell me what may I be doing wrong, or wether what i'm trying to accomplish is possible.

Piotr Wieczorek

CIEPŁE KRAJE - CIEPŁE MORZA. Szukasz atrakcyjnego wypoczynku w przystępnej cenie, zapoznaj się z nasz± ofert±.