Mercurial > urweb
annotate demo/batchFun.urs @ 1909:659d1f4e95bf
make dist: Use fewer wildcards
The remaining ones only work by accident:
http://www.gnu.org/software/automake/manual/html_node/Wildcards.html
and they have some practical problems too (we don?t really want to
distribute include/urweb/config.h or src/config.sml), but this is
enough for now to pass ?make distcheck? as long as we don?t run it
from a separate build directory.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 6 +++---
src/c/Makefile.am | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
| author | Anders Kaseorg <andersk@mit.edu> |
|---|---|
| date | Fri, 22 Nov 2013 09:36:14 -0500 |
| parents | bb3fc575cfe7 |
| children |
| rev | line source |
|---|---|
| adamc@1002 | 1 con colMeta = fn (db :: Type, state :: Type) => |
| adamc@650 | 2 {Nam : string, |
| adamc@1002 | 3 Show : db -> xbody, |
| adamc@1002 | 4 Inject : sql_injectable db, |
| adamc@650 | 5 |
| adamc@1002 | 6 NewState : transaction state, |
| adamc@1002 | 7 Widget : state -> xbody, |
| adamc@1002 | 8 ReadState : state -> transaction db} |
| adamc@650 | 9 con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols) |
| adamc@650 | 10 |
| adamc@650 | 11 val int : string -> colMeta (int, source string) |
| adamc@650 | 12 val float : string -> colMeta (float, source string) |
| adamc@650 | 13 val string : string -> colMeta (string, source string) |
| adamc@650 | 14 |
| adamc@650 | 15 functor Make(M : sig |
| adamc@650 | 16 con cols :: {(Type * Type)} |
| adamc@650 | 17 constraint [Id] ~ cols |
| adamc@650 | 18 val fl : folder cols |
| adamc@650 | 19 |
| adamc@706 | 20 table tab : ([Id = int] ++ map fst cols) |
| adamc@650 | 21 |
| adamc@650 | 22 val title : string |
| adamc@650 | 23 |
| adamc@650 | 24 val cols : colsMeta cols |
| adamc@650 | 25 end) : sig |
| adamc@650 | 26 val main : unit -> transaction page |
| adamc@650 | 27 end |