From 2a5e644101162190db41220d1de5537fd70a554e Mon Sep 17 00:00:00 2001 From: Kakadu Date: Tue, 23 Aug 2022 17:25:33 +0300 Subject: [PATCH 1/3] Fix compilation by changing newcommand->renewcommad Signed-off-by: Kakadu --- spec/03.04.expressions.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/03.04.expressions.tex b/spec/03.04.expressions.tex index 0d1f95bb5..41df75965 100644 --- a/spec/03.04.expressions.tex +++ b/spec/03.04.expressions.tex @@ -37,7 +37,7 @@ property ``$e$ is a reference''. The result of assignment operator coincides wit assigns 3 to both "\lstinline|x|" and "\lstinline|y|". \begin{figure}[h] - \newcommand{\Ref}[1]{\mathcal{R}\,({#1})} + \renewcommand{\Ref}[1]{\mathcal{R}\,({#1})} \renewcommand{\arraystretch}{4} \[ \begin{array}{cc} From 0353e77a2693c9d318317361e40e9953792d7375 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Tue, 23 Aug 2022 17:25:52 +0300 Subject: [PATCH 2/3] Add latex magic commands to many files Signed-off-by: Kakadu --- spec/.gitignore | 4 ++++ spec/01.introduction.tex | 3 +++ spec/03.01.lexical_structure.tex | 4 ++++ spec/03.02.compilation_units.tex | 3 +++ spec/03.03.scope_expressions.tex | 3 +++ spec/03.04.expressions.tex | 3 +++ spec/04.extensions.tex | 3 +++ spec/05.driver_options.tex | 3 +++ spec/06.limitations.tex | 3 +++ spec/07.debugging.tex | 3 +++ spec/08.standard_library.tex | 3 +++ spec/lama-spec.tex | 3 +++ 12 files changed, 38 insertions(+) diff --git a/spec/.gitignore b/spec/.gitignore index c78b14e25..99dcfd7ea 100644 --- a/spec/.gitignore +++ b/spec/.gitignore @@ -1 +1,5 @@ commitdate.tex +*.log +*.out +*.synctex.gz +*.toc \ No newline at end of file diff --git a/spec/01.introduction.tex b/spec/01.introduction.tex index 2022b01c6..962a76991 100644 --- a/spec/01.introduction.tex +++ b/spec/01.introduction.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Introduction} \lama is a programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce diff --git a/spec/03.01.lexical_structure.tex b/spec/03.01.lexical_structure.tex index abdd3f5aa..435689a0c 100644 --- a/spec/03.01.lexical_structure.tex +++ b/spec/03.01.lexical_structure.tex @@ -1,3 +1,7 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex + \section{Lexical Structure} \label{sec:lexical_structure} diff --git a/spec/03.02.compilation_units.tex b/spec/03.02.compilation_units.tex index 8433dc5e2..beb4c998d 100644 --- a/spec/03.02.compilation_units.tex +++ b/spec/03.02.compilation_units.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \FloatBarrier \begin{figure}[t] diff --git a/spec/03.03.scope_expressions.tex b/spec/03.03.scope_expressions.tex index 09259be1f..631e7a792 100644 --- a/spec/03.03.scope_expressions.tex +++ b/spec/03.03.scope_expressions.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \begin{figure}[t] \[ \begin{array}{rclc} diff --git a/spec/03.04.expressions.tex b/spec/03.04.expressions.tex index 41df75965..db9c875e6 100644 --- a/spec/03.04.expressions.tex +++ b/spec/03.04.expressions.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \section{Expressions} \label{sec:expressions} diff --git a/spec/04.extensions.tex b/spec/04.extensions.tex index cbd0937d9..a0ea35174 100644 --- a/spec/04.extensions.tex +++ b/spec/04.extensions.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Extensions} \label{sec:extensions} diff --git a/spec/05.driver_options.tex b/spec/05.driver_options.tex index e19958d4e..3f484df8c 100644 --- a/spec/05.driver_options.tex +++ b/spec/05.driver_options.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Driver Options and Separate Compilation} \label{sec:driver} diff --git a/spec/06.limitations.tex b/spec/06.limitations.tex index ae351de48..28dff93a9 100644 --- a/spec/06.limitations.tex +++ b/spec/06.limitations.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Implementation-dependent Limitations} \label{sec:limitations} diff --git a/spec/07.debugging.tex b/spec/07.debugging.tex index 7037aea7b..f6c28c386 100644 --- a/spec/07.debugging.tex +++ b/spec/07.debugging.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Debugging Support} \label{sec:debugging} diff --git a/spec/08.standard_library.tex b/spec/08.standard_library.tex index 30bed42e4..5ca12f9f5 100644 --- a/spec/08.standard_library.tex +++ b/spec/08.standard_library.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Standard Library} \label{sec:stdlib} diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex index 71b33dbf9..6bef1986f 100644 --- a/spec/lama-spec.tex +++ b/spec/lama-spec.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \documentclass{book} \newcommand\hmmax{0} From 2b4a9fef9ef5e879547e5cd15000337eccbf8802 Mon Sep 17 00:00:00 2001 From: Dmitrii Kosarev Date: Sat, 10 Sep 2022 14:42:23 +0000 Subject: [PATCH 3/3] README: update switch creation command --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index c31353071..ac6fbeb35 100644 --- a/README.md +++ b/README.md @@ -65,7 +65,12 @@ Windows users should get Windows Subsystem for Linux a.k.a WSL (recommended) or * Install right [switch](https://opam.ocaml.org/doc/Manual.html#Switches) for OCaml compiler - `opam switch create lama ocaml-variants.4.10.1+flambda` + ``` + # for fresh opam + opam switch create 4.14.0+flambda --packages=ocaml-variants.4.14.0+options,ocaml-option-flambda + # for old opam + opam switch create lama ocaml-variants.4.10.1+flambda + ``` In above command: