search

ocsigen / eliomlang

Runtime and tools for the eliom language
ISC License
9 stars 1 forks source link

Mix-side exported interfaces are unsound #2

Closed Drup closed 8 years ago

Drup commented 8 years ago

Let's consider a .cmi exporting this api:

val f : unit -> Dom.t Fragment.t

If this is loaded by vanilla ocaml Dom.t will not be considered client, and the symbol might not even exist. Fragment.t should still be a black box, though.

@vouillon proposed to emit a different magic for such cmi.

Drup commented 8 years ago

This is now done (by, indeed, emitting cmi files with different magic).