From 4d8618ce63b020fd357c50f49cc76fb58607c2d0 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 23 Mar 2021 19:48:37 +0100
Subject: [PATCH] schema.bin

---
 schema/Makefile   | 8 ++++++++
 schema/schema.bin | 7 +++++++
 2 files changed, 15 insertions(+)
 create mode 100644 schema/Makefile
 create mode 100644 schema/schema.bin

diff --git a/schema/Makefile b/schema/Makefile
new file mode 100644
index 0000000..0606e5d
--- /dev/null
+++ b/schema/Makefile
@@ -0,0 +1,8 @@
+all: schema.bin
+
+schema.bin: schema.prs
+	../implementations/javascript/packages/schema/bin/preserves-schemac.js < $< > $@.tmp || (rm -f $@.tmp; false)
+	mv $@.tmp $@
+
+clean:
+	rm -f schema.bin
diff --git a/schema/schema.bin b/schema/schema.bin
new file mode 100644
index 0000000..1027128
--- /dev/null
+++ b/schema/schema.bin
@@ -0,0 +1,7 @@
+´³schema·³pointer€³version‘³definitions·³Ref´³rec´³lit³ref„´³tupleµ´³named³module´³refµ„³
+ModulePath„„´³named³name´³atom³Symbol„„„„„³Schema´³rec´³lit³schema„´³tupleµ´³dict·³pointer´³refµ„³PointerName„³version´³refµ„³Version„³definitions´³refµ„³Definitions„„„„„„³Pattern´³orµµ±SimplePattern´³refµ„³SimplePattern„„µ±CompoundPattern´³refµ„³CompoundPattern„„„„³Version´³lit‘„³AtomKind´³orµµ±Boolean´³lit³Boolean„„µ±Float´³lit³Float„„µ±Double´³lit³Double„„µ±SignedInteger´³lit³SignedInteger„„µ±String´³lit³String„„µ±
+ByteString´³lit³
+ByteString„„µ±Symbol´³lit³Symbol„„„„³
+Definition´³orµµ±or´³rec´³lit³or„´³tupleµ´³tuple*µ´³named³pattern´³refµ„³NamedAlternative„„„´³named³patterns´³refµ„³NamedAlternative„„„„„„„µ±Alternative´³refµ„³Alternative„„„„³
+ModulePath´³tuple*µ„´³atom³Symbol„„³Alternative´³orµµ±and´³rec´³lit³and„´³tupleµ´³tuple*µ´³named³pattern´³refµ„³NamedPattern„„„´³named³patterns´³refµ„³NamedPattern„„„„„„„µ±Pattern´³refµ„³Pattern„„„„³Definitions´³dictof´³atom³Symbol„´³refµ„³
+Definition„„³PointerName´³orµµ±Ref´³refµ„³Ref„„µ±false´³lit€„„„„³NamedPattern´³orµµ±named´³refµ„³NamedSimplePattern_„„µ±	anonymous´³refµ„³Pattern„„„„³SimplePattern´³orµµ±any´³lit³any„„µ±atom´³rec´³lit³atom„´³tupleµ´³named³atomKind´³refµ„³AtomKind„„„„„„µ±pointer´³rec´³lit³pointer„´³tupleµ„„„„µ±lit´³rec´³lit³lit„´³tupleµ´³named³value³any„„„„„µ±Ref´³refµ„³Ref„„„„³CompoundPattern´³orµµ±rec´³rec´³lit³rec„´³tupleµ´³named³label´³refµ„³NamedPattern„„´³named³fields´³refµ„³NamedPattern„„„„„„µ±tuple´³rec´³lit³tuple„´³tupleµ´³tuple*µ„´³named³patterns´³refµ„³NamedPattern„„„„„„„µ±tuple*´³rec´³lit³tuple*„´³tupleµ´³tuple*µ„´³named³fixed´³refµ„³NamedPattern„„„´³named³variable´³refµ„³NamedSimplePattern„„„„„„µ±setof´³rec´³lit³setof„´³tupleµ´³named³pattern´³refµ„³SimplePattern„„„„„„µ±dictof´³rec´³lit³dictof„´³tupleµ´³named³key´³refµ„³SimplePattern„„´³named³value´³refµ„³SimplePattern„„„„„„µ±dict´³rec´³lit³dict„´³tupleµ´³named³entries´³refµ„³DictionaryEntries„„„„„„„„³NamedAlternative´³tupleµ´³named³variantLabel´³atom³String„„´³named³alternative´³refµ„³Alternative„„„„³DictionaryEntries´³dictof³any´³refµ„³NamedSimplePattern„„³NamedSimplePattern´³orµµ±named´³refµ„³NamedSimplePattern_„„µ±	anonymous´³refµ„³SimplePattern„„„„³NamedSimplePattern_´³rec´³lit³named„´³tupleµ´³named³name´³atom³Symbol„„´³named³pattern´³refµ„³SimplePattern„„„„„„„„
\ No newline at end of file