From b61a0893a3f73fc8300a6f7269bb401081c7ba10 Mon Sep 17 00:00:00 2001 From: milner Date: Mon, 9 Mar 2020 12:00:00 +0000 Subject: [PATCH] persist trees and expose execution and diagnostic commands --- examples/protocol-redundant.tess | 15 +++++++++++++++ examples/protocol-values.txt | 4 ++++ 2 files changed, 19 insertions(+) create mode 100644 examples/protocol-redundant.tess create mode 100644 examples/protocol-values.txt diff --git a/examples/protocol-redundant.tess b/examples/protocol-redundant.tess new file mode 100644 index 0000000..d6e7d9c --- /dev/null +++ b/examples/protocol-redundant.tess @@ -0,0 +1,15 @@ +data State = Idle | Waiting | Connected + +data Message = Hello Int | Data Int | Close + +match classify (s : State) (m : Message) : Int = + | Idle (Hello n) -> n + | Idle (Data n) -> n + | Idle Close -> 0 + | Waiting (Hello n) -> n + | Waiting (Data n) -> n + | Waiting Close -> 0 + | Connected (Hello n) -> n + | Connected (Data n) -> n + | Connected Close -> 0 + | _ Close -> 0 diff --git a/examples/protocol-values.txt b/examples/protocol-values.txt new file mode 100644 index 0000000..a5a7c71 --- /dev/null +++ b/examples/protocol-values.txt @@ -0,0 +1,4 @@ +Idle; Hello 5 +Waiting; Data 3 +Connected; Close +Idle; Data 7