Mercurial > urweb

view tests/unpoly.ur @ 2057:f4a6ccb7937f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow Body tags inside cformTags This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 17 Aug 2014 18:28:37 +0000
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>