From 0999c9b75bed0ad6110bd13d51bd0ab998473a9b Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Fri, 29 May 2020 15:19:09 -0400
Subject: [PATCH] start on an IR for spin compilation

---
 racket/typed/compile-spin.rkt | 36 +++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 racket/typed/compile-spin.rkt

diff --git a/racket/typed/compile-spin.rkt b/racket/typed/compile-spin.rkt
new file mode 100644
index 0000000..ec8ad90
--- /dev/null
+++ b/racket/typed/compile-spin.rkt
@@ -0,0 +1,36 @@
+#lang racket
+
+(require "proto.rkt")
+
+(module+ test
+  (require rackunit))
+
+;; a SpinProcess is a
+;;   (sproc SName [Listof SVar] [Hashof SName SValue] [Setof SpinState])
+(struct sproc [name vars init states] #:transparent)
+
+;; a SName is a Symbol that is a legal variable name in Spin
+
+;; a SVar is a
+;;   (svar SName SType)
+(struct svar [name ty] #:transparent)
+
+;; a SValue is one of
+;;   - Int
+;;   - Bool
+;;   - SName
+;; and must be a valid Spin literal
+
+;; a SType is one of
+;;  - 'SInt
+;;  - 'SBool
+;;  - 'mtype
+(define SInt 'SInt)
+(define SBool 'SBool)
+(define mtype 'mtype)
+
+;; a SpinState is a
+;;   (sstate SName [Sequenceof SBranch])
+(struct sstate [name branches] #:transparent)
+
+;; a SBranch is a ........