st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10

Browse source
This commit is contained in:
Dmitry Boulytchev 2022-09-13 09:20:45 +03:00
commit 79460b7442
13 changed files with 45 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
README.md
View file

@ -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:

4
spec/.gitignore vendored
View file

@ -1 +1,5 @@
commitdate.tex
*.log
*.out
*.synctex.gz
*.toc

3
spec/01.introduction.tex
View file

@ -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

4
spec/03.01.lexical_structure.tex
View file

@ -1,3 +1,7 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\section{Lexical Structure}
\label{sec:lexical_structure}

3
spec/03.02.compilation_units.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\FloatBarrier
\begin{figure}[t]

3
spec/03.03.scope_expressions.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\begin{figure}[t]
\[
\begin{array}{rclc}

5
spec/03.04.expressions.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\section{Expressions}
\label{sec:expressions}
@ -37,7 +40,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}

3
spec/04.extensions.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\chapter{Extensions}
\label{sec:extensions}

3
spec/05.driver_options.tex
View file

@ -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}

3
spec/06.limitations.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\chapter{Implementation-dependent Limitations}
\label{sec:limitations}

3
spec/07.debugging.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\chapter{Debugging Support}
\label{sec:debugging}

3
spec/08.standard_library.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\chapter{Standard Library}
\label{sec:stdlib}

3
spec/lama-spec.tex
View file

@ -1,3 +1,6 @@
% !TEX TS-program = pdflatex
% !TeX spellcheck = en_US
% !TEX root = lama-spec.tex
\documentclass{book}
\newcommand\hmmax{0}