Re: [Caml-list] MetaOCaml error while running generated code that needs -rectypes

["Ömer Sinan Ağacan" <omeragacan@gmail.com>]

> Is the code that contains the Runcode.run <your code> also compiled
> with -rectypes?

Yes, otherwise I'm having a compile time error.

> Anyway, I think forcing recursive_types flag right before Runcode.run
> may help. Here is how to do it, if ruiining at the top level:
>
> #directory "INSTALLPREFIX/lib/ocaml/compiler-libs/";;
> Clflags.recursive_types := true

I'm not using REPL. I still tried to do this but (Meta)OCaml REPL is so
ridiculously bad I couldn't even manage to load all the dependencies of
my program...

> If you compile the code first, then you need to add -I +compiler-libs
> to the command line of the compiler. If the problem persists, it would
> help to have a small test case.

What do you mean by "compile the code first"?

My program is in a Github repo, here's how to reproduce:

  $ git clone https://github.com/osa1/int-proj.git
  $ cd int-proj
  $ make unlambda_metaocaml
  $ ./unlambda_metaocaml programs/Hello.unl -compile
  File "_none_", line 1:
  Error: Unit  imports from UnlambdaFuns, which uses recursive types.
         The compilation flag -rectypes is required

  Fatal error: exception Failure("Error type-checking generated code:
scope extrusion?")

Thanks.

2015-05-07 11:59 GMT-04:00  <oleg@okmij.org>:
>
>> I'm trying to generate some code that needs -rectypes. I'm compiling all
>> modules using -rectypes and things mostly work fine, except I can't run
>> MetaOCaml generated code, because it's failing with:
>>
>>   File "_none_", line 1:
>>   Error: Unit  imports from UnlambdaFuns, which uses recursive types.
>>          The compilation flag -rectypes is required
>
> Is the code that contains the Runcode.run <your code> also compiled
> with -rectypes?
>
> Anyway, I think forcing recursive_types flag right before Runcode.run
> may help. Here is how to do it, if ruiining at the top level:
>
> #directory "INSTALLPREFIX/lib/ocaml/compiler-libs/";;
> Clflags.recursive_types := true
>
> If you compile the code first, then you need to add -I +compiler-libs
> to the command line of the compiler. If the problem persists, it would
> help to have a small test case.