From 8bdd666ea829835c59f8a83b3660a3c4202f7d10 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Thu, 25 Feb 2021 08:40:44 +0300
Subject: [PATCH] Added limitation section into the spec; fixed typo in spec;
 fixed .gdbinit

---
 gdb/.gdbinit                                              | 4 ++--
 spec/04.extensions.tex                                    | 2 +-
 spec/{06.debugging.tex => 07.debugging.tex}               | 0
 spec/{07.standard_library.tex => 08.standard_library.tex} | 0
 spec/lama-spec.tex                                        | 5 +++--
 src/stdpath.ml                                            | 2 +-
 src/version.ml                                            | 2 +-
 7 files changed, 8 insertions(+), 7 deletions(-)
 rename spec/{06.debugging.tex => 07.debugging.tex} (100%)
 rename spec/{07.standard_library.tex => 08.standard_library.tex} (100%)

diff --git a/gdb/.gdbinit b/gdb/.gdbinit
index 37c784bbd..d1917d3e9 100644
--- a/gdb/.gdbinit
+++ b/gdb/.gdbinit
@@ -1,7 +1,7 @@
 define pp
-  p (char*) Bstringval ((void*) $arg0)    
+  p (char*) Lstring ((void*) $arg0)    
 end    
 
 define pc
-  p (char*) Bstringval ((void*) ((*(int**)($ebp-4)) [$arg0]))
+  p (char*) Lstring ((void*) ((*(int**)($ebp-4)) [$arg0]))
 end
diff --git a/spec/04.extensions.tex b/spec/04.extensions.tex
index e6282a01f..cbd0937d9 100644
--- a/spec/04.extensions.tex
+++ b/spec/04.extensions.tex
@@ -47,7 +47,7 @@ However, as  "\lstinline|**|" is not exported its precedence level will be forgo
 
 Respectively, multiple imports of units with custom infix operators will modify the precedence level in the order of their import. For example,
 if there are two units  "\lstinline|A|" and  "\lstinline|B|" with declarations "\lstinline|infixl ++ before +|" and "\lstinline|infixl +++ before +|"
-correspondingly, then importing  "\lstinline|B|" after  "\lstinline|B|" will result in "\lstinline|++|" having a \emph{lower} precedence, then
+correspondingly, then importing  "\lstinline|A|" after  "\lstinline|B|" will result in "\lstinline|++|" having a \emph{lower} precedence, then
 "\lstinline|+++|".
 
 \begin{figure}[t]
diff --git a/spec/06.debugging.tex b/spec/07.debugging.tex
similarity index 100%
rename from spec/06.debugging.tex
rename to spec/07.debugging.tex
diff --git a/spec/07.standard_library.tex b/spec/08.standard_library.tex
similarity index 100%
rename from spec/07.standard_library.tex
rename to spec/08.standard_library.tex
diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex
index a88524b0c..71b33dbf9 100644
--- a/spec/lama-spec.tex
+++ b/spec/lama-spec.tex
@@ -221,8 +221,9 @@ language=lama
 \input{03.concrete_syntax}
 \input{04.extensions}
 \input{05.driver_options}
-\input{06.debugging}
-\input{07.standard_library}
+\input{06.limitations}
+\input{07.debugging}
+\input{08.standard_library}
 
 \bibliographystyle{plainurl}
 \bibliography{lama-spec}
diff --git a/src/stdpath.ml b/src/stdpath.ml
index 3ea09b8ff..3ee6c2ed0 100644
--- a/src/stdpath.ml
+++ b/src/stdpath.ml
@@ -1 +1 @@
-let path = "/home/db/.opam/4.07.1+fp+flambda/share/Lama"
+let path = "/home/db/.opam/lama/share/Lama"
diff --git a/src/version.ml b/src/version.ml
index e538131df..6eb4a9374 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.10, 59f78fe38, Mon Feb 1 10:39:12 2021 +0300"
+let version = "Version 1.10, a9d9a4e2b, Sat Feb 13 11:16:28 2021 +0300"