Mercurial > urweb
view tests/foldm.ur @ 1892:907a82a44f01
Add missing inter-library dependencies
This is needed, at least on recent Ubuntu, to fix these linker errors
when compiling any Ur/Web application:
liburweb.so: undefined reference to `lround'
liburweb.so: undefined reference to `ceil'
liburweb.so: undefined reference to `RAND_bytes'
liburweb.so: undefined reference to `DES_fcrypt'
liburweb.so: undefined reference to `SHA256_Init'
liburweb.so: undefined reference to `SHA256_Final'
liburweb.so: undefined reference to `SHA256_Update'
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
src/c/Makefile.am | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
author | Anders Kaseorg <andersk@mit.edu> |
---|---|
date | Thu, 21 Nov 2013 14:32:11 -0500 |
parents | 71bafe66dbe1 |
children |
line wrap: on
line source
con currier = fold (fn nm => fn t => fn acc => t -> acc) {} signature S = sig type t val x : t con rs :: {Type} val create : currier rs -> t end functor Currier (M : sig con rs :: {Type} end) : S where con rs = M.rs = struct val currier : rs :: {Type} -> currier rs = fold [currier] (fn nm :: Name => fn t :: Type => fn rest :: {Type} => fn acc => fn x : t => acc) {} type t = currier M.rs val x = currier [M.rs] con rs = M.rs val create : t -> t = fn x => x end structure ChefsSpecial = Currier(struct con rs = [A = int, B = float] end) val main = ChefsSpecial.x