pervasives.h should typedef string
Right now, a file such as
fun f(x : string) returns (o : string)
let
o = x;
tel
generates a step function
void Test__f_step(string x, Test__f_out* _out) {
_out->o = x;
}
but this string
type has never been defined. It should probably be typedef'd as an alias for char *
in pervasives.h
.