Mercurial > urweb
view tests/type_classMod.ur @ 1893:9a1097954188
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 |
line wrap: on
line source
structure M = struct structure N = struct class c t = t val string_c : c string = "Hi" end end val c : t :: Type -> M.N.c t -> t = fn t :: Type => fn pf : M.N.c t => pf val hi = c [string] _ val bool_c : M.N.c bool = True val true = c [bool] _ val hi = c [string] _ con c = M.N.c val int_c : c int = 0 val zero = c [int] _