tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

consumer_registry_resume.tri (731B)

      1 -- The received read failure must see the explicit resumed environment.
      2 !import "consumers.registry-source" RS
      3 !import "consumers.registry" R
      4 !import "http" H
      5 !import "io" !Local
      6 !import "prelude" !Local
      7 root = "__ROOT__"
      8 main = io (onResult_ (readFile "demos/consumers/registry/registry-state.scp")
      9   (problem : putStrLn "resume-source-read-fail")
     10   (source : matchResult
     11     (_ _ : putStrLn "resume-source-parse-fail")
     12     (program _ : bind (R.routeRun program root
     13       (pair "GET" "/_arboricx/bundle/hash/abc999")) (reply :
     14       putStrLn (matchBool "registry-resume-state-ok" "registry-resume-state-DIFFER"
     15         (equal? reply (H.response 404 "text/plain; charset=utf-8" root)))))
     16     (RS.compileRouteSource source)))
     17 main