annotate demo/treeFun.urs @ 2139:8c81cd351c1a

Allow URIs specified in file directives implicitly It seems to me that, by specifying that one wants to serve a given file at a specified URI, one is implying that this URI should be allowed.
author Julian Squires <julian@cipht.net>
date Fri, 24 Apr 2015 16:21:55 -0400
parents 311ca1ae715d
children
rev   line source
adamc@469 1 functor Make(M : sig
adamc@469 2 type key
adamc@469 3 con id :: Name
adamc@469 4 con parent :: Name
adamc@469 5 con cols :: {Type}
adamc@469 6 constraint [id] ~ [parent]
adamc@469 7 constraint [id, parent] ~ cols
adamc@469 8
adamc@723 9 val key_inj : sql_injectable_prim key
adamc@469 10
adamc@706 11 table tab : ([id = key, parent = option key] ++ cols)
adamc@469 12 end) : sig
adamc@469 13
adamc@469 14 con id = M.id
adamc@469 15 con parent = M.parent
adamc@469 16
adamc@469 17 val tree : ($([id = M.key, parent = option M.key] ++ M.cols) -> xbody)
adamc@469 18 -> option M.key
adamc@469 19 -> transaction xbody
adamc@469 20
adamc@469 21 end