Mercurial > urweb

annotate tests/ffi.ur @ 1893:9a1097954188

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
compileC: Link libraries in the right order This is needed, at least on recent Ubuntu, to fix this linker error when compiling any Ur/Web application: ld: /tmp/webapp.o: undefined reference to symbol 'uw_write' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/compiler.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Thu, 21 Nov 2013 14:32:11 -0500
parents 71bafe66dbe1
children
rev   line source
adamc@48 1 extern structure Lib : sig
adamc@48 2 type t
adamc@49 3 type u
adamc@48 4 val x : t
adamc@50 5 val y : u
adamc@50 6 val f0 : {} -> u
adamc@49 7 val f1 : t -> t
adamc@49 8 val f2 : t -> u -> t
adamc@48 9 end
adamc@48 10
adamc@48 11 type t' = Lib.t
adamc@48 12 val x' : t' = Lib.x
adamc@50 13 val f0' = Lib.f0
adamc@49 14 val f1' = Lib.f1
adamc@49 15 val f2' = Lib.f2
adamc@48 16
adamc@48 17 structure Lib' = Lib
adamc@48 18
adamc@48 19 type t'' = Lib'.t
adamc@48 20 val x'' : t'' = Lib'.x
adamc@50 21
adamc@50 22 val main = f2' (f1' x') (f0' {})