Mercurial > urweb

view tests/unpoly.ur @ 1909:659d1f4e95bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 338be96f8533
children
line wrap: on
line source
val current = return (Some "1")
fun resolve (_ : string) = return (Some "2")

fun checkDeps deps =
    u <- current;
    List.foldlM (fn s (good, errs) =>
                    v' <- resolve s;
                    case v' of
                        None =>
                        return (False, <xml>
                          {errs}
                          Unknown library path <tt>{[s]}</tt>.<br/>
                        </xml>)
                      | Some v' =>
                        b <- return True;
                        if b then
                            return (good, errs)
                        else
                            return (False, <xml>
                              {errs}
                              Access denied to <tt>{[s]}</tt>.<br/>
                            </xml>)) (True, <xml/>) deps

fun main () =
    p <- checkDeps ("a" :: "b" :: []);
    return <xml><body>
      {p.2}
    </body></xml>