Remove latex attributes (#578)

* remove latex attributes * add `warnings-to-erros` to haskell targets * Set Version: 0.1.2 * Set Version: 0.1.3 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Feb 19, 2024 · a31accc · a31accc
1 parent 253c761
commit a31accc
Show file tree

Hide file tree

Showing 7 changed files with 10 additions and 11 deletions.
diff --git a/Makefile b/Makefile
@@ -50,7 +50,8 @@ KOMPILE_LLVM := kompile --backend llvm --md-selector "$(tangle_selector)" \
 
 KOMPILE_HASKELL := kompile --backend haskell --md-selector "$(tangle_selector)" \
                    $(KOMPILE_OPTS)                                              \
-                   $(HASKELL_KOMPILE_OPTS)
+                   $(HASKELL_KOMPILE_OPTS)                                      \
+                   --warnings-to-errors
 
 ### LLVM
 

diff --git a/data/list-int.k b/data/list-int.k
@@ -16,7 +16,7 @@ module LIST-INT
           ]
   syntax ListInt ::= ".ListInt"
           [ function, total, hook(LIST.unit), klabel(.ListInt),
-            symbol, smtlib(smt_seq_nil), latex(\dotCt{ListInt})
+            symbol, smtlib(smt_seq_nil)
           ]
   syntax ListInt ::= ListItem(WrappedInt)
           [ function, total, hook(LIST.element), klabel(ListIntItem),

diff --git a/data/list-ref.k b/data/list-ref.k
@@ -16,7 +16,7 @@ module LIST-REF
           ]
   syntax ListRef ::= ".ListRef"
           [ function, total, hook(LIST.unit), klabel(.ListRef),
-            symbol, smtlib(smt_seq_nil), latex(\dotCt{ListRef})
+            symbol, smtlib(smt_seq_nil)
           ]
   syntax ListRef ::= ListItem(RefVal)
           [ function, total, hook(LIST.element), klabel(ListRefItem),

diff --git a/data/map-int-to-int.k b/data/map-int-to-int.k
@@ -25,12 +25,12 @@ module MAP-INT-TO-INT
          ]
   syntax MapIntToInt ::= ".MapIntToInt"
          [ function, total, hook(MAP.unit),
-           klabel(.MapIntToInt), symbol, latex(\dotCt{MapIntToInt})
+           klabel(.MapIntToInt), symbol
          ]
   syntax MapIntToInt ::= WrappedInt "Int2Int|->" WrappedInt
          [ function, total, hook(MAP.element),
            klabel(_Int2Int|->_), symbol,
-           latex({#1}\mapsto{#2}), injective
+           injective
          ]
 
   syntax priorities _Int2Int|->_ > _MapIntToInt_ .MapIntToInt
@@ -50,9 +50,7 @@ module MAP-INT-TO-INT
                    klabel(_MapIntToInt[_<-undef]), symbol
                  ]
   syntax MapIntToInt ::= MapIntToInt "-Map" MapIntToInt
-                 [ function, total, hook(MAP.difference),
-                   latex({#1}-_{\it MapIntToIntMap}{#2})
-                 ]
+                 [ function, total, hook(MAP.difference) ]
   syntax MapIntToInt ::= updateMap(MapIntToInt, MapIntToInt)
                  [function, total, hook(MAP.updateAll)]
 

diff --git a/data/sparse-bytes.k b/data/sparse-bytes.k
@@ -16,7 +16,7 @@ module SPARSE-BYTES
           ]
   syntax SparseBytes ::= ".SparseBytes"
           [ function, total, hook(LIST.unit), klabel(.SparseBytes),
-            symbol, smtlib(smt_seq_nil), latex(\dotCt{SparseBytes})
+            symbol, smtlib(smt_seq_nil)
           ]
   syntax SparseBytes ::= SBChunk(SBItem)
           [ function, total, hook(LIST.element), klabel(SparseBytesItem),

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.2
+0.1.3
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.2"
+version = "0.1.3"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",