tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

interaction-inspection.tri (381B)

      1 -- A materialized historical v1 tree for read-only bundle inspection.
      2 -- Executing its settings.txt read requires a retained v1 runtime.
      3 !export main
      4 !export afterRead
      5 
      6 pure value = t 0 value
      7 bind action resume = t 1 (t action resume)
      8 readFile path = t 20 path
      9 io action = t "tricuIO" (t 1 action)
     10 
     11 afterRead reply = pure reply
     12 main = io (bind (readFile "settings.txt") afterRead)