annotate tests/query.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 |
5f9b9972e6b8 |
children |
|
rev |
line source |
adamc@253
|
1 table t1 : {A : int, B : string, C : float, D : bool}
|
adamc@243
|
2 table t2 : {A : float, D : int}
|
adamc@243
|
3
|
adamc@243
|
4 datatype list a = Nil | Cons of a * list a
|
adamc@243
|
5
|
adamc@254
|
6 val q1 = (SELECT * FROM t1)
|
adamc@253
|
7
|
adamc@253
|
8 val r1 : transaction (list {A : int, B : string, C : float, D : bool}) =
|
adamc@748
|
9 query q1
|
adamc@748
|
10 (fn fs acc => return (Cons (fs.T1, acc)))
|
adamc@748
|
11 Nil
|
adamc@243
|
12
|
adamc@249
|
13 val r2 : transaction string =
|
adamc@748
|
14 ls <- r1;
|
adamc@748
|
15 return (case ls of
|
adamc@748
|
16 Nil => "Problem"
|
adamc@748
|
17 | Cons ({B = b, ...}, _) => b)
|
adamc@249
|
18
|
adamc@748
|
19 fun main () : transaction page =
|
adamc@748
|
20 s <- r2;
|
adamc@748
|
21 return <xml><body>
|
adamc@748
|
22 {cdata s}
|
adamc@748
|
23 </body></xml>
|