From 4513c6626a34f737482c102825be7c2ca1b43eff Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Wed, 23 Jun 2021 18:20:26 +0200
Subject: initial commit

---
 isabelle-dump/src/calc.y | 54 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 54 insertions(+)
 create mode 100644 isabelle-dump/src/calc.y

(limited to 'isabelle-dump/src/calc.y')

diff --git a/isabelle-dump/src/calc.y b/isabelle-dump/src/calc.y
new file mode 100644
index 0000000..2dd3bd3
--- /dev/null
+++ b/isabelle-dump/src/calc.y
@@ -0,0 +1,54 @@
+%start AbbrList
+
+%%
+
+AbbrList -> Result<Vec<Isabelle>, ()>:
+   Text { Ok(vec![Isabelle::Text($1?)]) }
+   | Abbr { Ok(vec![Isabelle::Symbol($1?)]) }
+   | AbbrList Abbr
+      {
+          let mut $1 = $1?;
+          $1.push(Isabelle::Symbol($2?));
+          Ok($1)
+      }
+   | AbbrList Text
+     {
+          let mut $1 = $1?;
+          $1.push(Isabelle::Text($2?));
+          Ok($1)
+     }
+   ;
+
+Abbr -> Result<String, ()>:
+      'AOPEN' Name  { Ok($2?) }
+    ;
+
+Text -> Result<String, ()>:
+  'TEXT'
+      {
+        let v = $1.map_err(|_| ())?;
+        Ok($lexer.span_str(v.span()).to_string())
+      }
+  | 'AOPEN'
+      {
+        //let v = $2.map_err(|_| ())?;
+        Ok("\\".to_string())
+      }
+  | 'LT'
+      {
+        //let v = $2.map_err(|_| ())?;
+        Ok("<".to_string()) //format!("<{}", $lexer.span_str(v.span())))
+      }
+  ;
+
+Name -> Result<String, ()>:
+  'NAME'
+      {
+        let v = $1.map_err(|_| ())?;
+        let name = $lexer.span_str(v.span());
+        Ok(name[1..name.len()-1].to_string())
+      }
+  ;
+%%
+
+use crate::Isabelle;
-- 
cgit v1.2.3