tricu

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

sourceModuleLockReexport.tri (688B)

      1 !import "source.lock"   !Local
      2 !import "source.module" !Local
      3 !import "io"            !Local
      4 !import "prelude"       !Local
      5 root = "__ROOT__"
      6 phase = "__PHASE__"
      7 main = io (onResult_ (do onOk_
      8   source <- readFile "demos/modules/prelude.tri"
      9   _ <- sourceModulePinAlias root "base" "__BASE__"
     10   _ <- lazyBool
     11     (_ : pure (ok t t))
     12     (_ : sourceLockUpdate root "barrel" source)
     13     (equal? phase "move")
     14   pinned <- sourceLockBuild root "barrel" source
     15   _ <- pure (if (equal? pinned "__EXPECTED__")
     16     (ok t t) (err "wrong locked re-export" t))
     17   pure (ok t t))
     18   (problem : putStrLn (append "barrel-failed: " problem))
     19   (_ : putStrLn (append "barrel-" (append phase "-ok"))))
     20 main