From 3cd46353a7700cb373af75d19ca557f1fc98f432 Mon Sep 17 00:00:00 2001
From: Craig McLaughlin <thecraigmclaughlin@gmail.com>
Date: Tue, 31 May 2022 16:14:20 +1000
Subject: [PATCH] [Pancake] Remove docs sub-directory (hopefully fixes
 regression error).

---
 pancake/docs/write.pk | 44 -------------------------------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 pancake/docs/write.pk

diff --git a/pancake/docs/write.pk b/pancake/docs/write.pk
deleted file mode 100644
index c3c4449cc9..0000000000
--- a/pancake/docs/write.pk
+++ /dev/null
@@ -1,44 +0,0 @@
-
-val writeFun = `
-  “(strlit "writeC",
-     [(strlit "ic", One)] :(mlstring # shape) list,
-     Dec (strlit "a") BaseAddr (
-       Dec (strlit "b") (Const 8w) (
-         Dec (strlit "c") (Op Add [BaseAddr;Const 16w]) (
-           Dec (strlit "d") (Const 1w) (      
-             FOLDR Seq (Return (Const 0w)) [
-               Store BaseAddr (Var (strlit "ic"));
-               ExtCall (strlit "out_morefun") (strlit "a")
-                       (strlit "b") (strlit "c") (strlit "d");
-             ])))): 64 panLang$prog
-    )”;
-
----In Concrete Syntax---
-
-
-"writeC" [("ic",One)]
-var a = @base {
- var b = 8
-  var c = @base + 16 {
-   var d = 1 {
-  #out_morefun(a,b,c,d);
-  str @base, ic;
-  return 0;
-}}}
-------------------------
-
-"main" []
-var mRes = 0 in
-  mRes = !writeC(1);
-  return 0;
-end
-
-val panProgTemplate=
-  “[(strlit "main",
-    [] :(mlstring # shape) list,
-    Dec (strlit "mRes") (Const 0w) (
-      FOLDR Seq (Return (Const 0w)) [
-        Call (Ret (strlit "mRes") NONE) (Label $ strlit "writeC") [Const 1w];        
-      ]
-    ) :64 panLang$prog
-    ); ^writeFun]” |> EVAL |> concl |> rhs;
\ No newline at end of file