tricu

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

sourceContractBaseBehavior.tri (677B)

      1 !import "prelude" !Local
      2 !import "parser" !Local
      3 !import "io" !Local
      4 !import "source.unit" !Local
      5 main = io (onResult_ (readFile "lib/base.tri")
      6   (message : putStrLn "base-read-failed")
      7   (source : lazyResult
      8     (problem rest : putStrLn (append "base-diagnostic=" (showNumber (parserDiagnosticCode problem))))
      9     (baseEnvironment rest : lazyResult
     10       (problem rest : putStrLn (append "application-diagnostic=" (showNumber (parserDiagnosticCode problem))))
     11       (value rest : putStrLn (showNumber value))
     12       (compileGateProgram baseEnvironment
     13         "main = matchResult (message rest : 7) (value rest : 8) (head t)"))
     14     (compileModuleDefinitions [] source)))
     15 main