Added limitation section into the spec; fixed typo in spec; fixed .gd…

…binit
PLTools · Feb 25, 2021 · 8bdd666 · 8bdd666
1 parent a9d9a4e
commit 8bdd666
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 7 deletions.
diff --git 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
@@ -47,7 +47,7 @@ \section{Custom Infix Operators}
 
 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 → spec/07.debugging.tex b/spec/06.debugging.tex → spec/07.debugging.tex
diff --git a/spec/07.standard_library.tex → spec/08.standard_library.tex b/spec/07.standard_library.tex → spec/08.standard_library.tex
diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex
@@ -221,8 +221,9 @@
 \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
@@ -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
@@ -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"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		let path = "/home/db/.opam/4.07.1+fp+flambda/share/Lama"
		let path = "/home/db/.opam/lama/share/Lama"
Original file line number	Diff line number	Diff line change
		@@ -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"