From a49eeae43cefc3e3b91749975e2457b41fd65f4f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Wed, 30 Aug 2023 17:31:42 +0200
Subject: [PATCH 1/5] Use 3.4 as language version number in the spec.

---
 docs/_spec/README.md   | 6 +++---
 docs/_spec/_config.yml | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/docs/_spec/README.md b/docs/_spec/README.md
index b9eba413f8a2..f8a59e86896c 100644
--- a/docs/_spec/README.md
+++ b/docs/_spec/README.md
@@ -1,6 +1,6 @@
 # WIP Scala 3 Language Specification
 
-**This is still a work in progress, and should *not* be regarded as a source of truth.**
+**This is still a work in progress. There are still Scala 3 features missing, as well as some areas that have not been updated since 2.13 yet.**
 
 First of all, the language specification is meant to be correct, precise and clear.
 
@@ -25,8 +25,8 @@ To preview locally, run the following commands in the docs/_spec subfolder:
 env UID="$(id -u)" GID="$(id -g)" docker-compose up
 ```
 
-and open http://0.0.0.0:4000/files/archive/spec/2.13/ to view the spec. Jekyll will rebuild as you edit the markdown, but make sure to restart it when you change `_config.yml`.
-<!-- 
+and open http://0.0.0.0:4000/files/archive/spec/3.4/ to view the spec. Jekyll will rebuild as you edit the markdown, but make sure to restart it when you change `_config.yml`.
+<!--
 To preview locally, run the following commands in the root of your checkout scala/scala:
 `bundle install` to install Jekyll and `bundle exec jekyll serve -d build/spec/ -s spec/ -w --baseurl=""` to start it,
 and open http://0.0.0.0:4000/ to view the spec. Jekyll will rebuild as you edit the markdown, but make sure to restart it when you change `_config.yml`.
diff --git a/docs/_spec/_config.yml b/docs/_spec/_config.yml
index 3cb9c8f0d440..6f545bc54059 100644
--- a/docs/_spec/_config.yml
+++ b/docs/_spec/_config.yml
@@ -1,6 +1,6 @@
-baseurl: /files/archive/spec/2.13
-latestScalaVersion: 2.13
-thisScalaVersion: 2.13
+baseurl: /files/archive/spec/3.4
+latestScalaVersion: 3.4
+thisScalaVersion: 3.4
 versionCompareMessage: "an upcoming"
 safe: true
 lsi: false

From 27c417cedc97b14409e5d778d82c4ae47f9b0123 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Thu, 7 Sep 2023 17:00:33 +0200
Subject: [PATCH 2/5] Build the spec in the CI.

---
 .github/workflows/spec.yml | 40 ++++++++++++++++++++++++++++++++++++++
 docs/_spec/Dockerfile      |  2 ++
 2 files changed, 42 insertions(+)
 create mode 100644 .github/workflows/spec.yml

diff --git a/.github/workflows/spec.yml b/.github/workflows/spec.yml
new file mode 100644
index 000000000000..9dcc338c7241
--- /dev/null
+++ b/.github/workflows/spec.yml
@@ -0,0 +1,40 @@
+name: Specification
+
+on:
+  push:
+    tags:
+      - '*'
+    branches-ignore:
+      - 'gh-readonly-queue/**'
+  pull_request:
+  merge_group:
+  workflow_dispatch:
+
+env:
+  DOTTY_CI_RUN: true
+
+jobs:
+  specification:
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: ./docs/_spec
+
+    steps:
+      - uses: actions/checkout@v3
+
+      # Keep in sync with ./docs/_spec/Dockerfile
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: '2.7'
+      - name: Install required gems
+        run: |
+          gem update --system
+          gem install sass-embedded -v 1.58.0
+          gem install bundler:1.17.2 jekyll
+          bundle install
+          npm install bower
+
+      - name: Build the specification
+        run: |
+          bundle exec jekyll build
diff --git a/docs/_spec/Dockerfile b/docs/_spec/Dockerfile
index 1fc28081c59f..6f0c349da396 100644
--- a/docs/_spec/Dockerfile
+++ b/docs/_spec/Dockerfile
@@ -1,3 +1,5 @@
+# Keep in sync with relevant parts of .github/workflows/spec.yml
+
 FROM ruby:2.7
 
 RUN apt-get install -y curl \

From 1f31d8403965004d7af01501dcf9ca7e72e16760 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Wed, 20 Sep 2023 13:52:27 +0200
Subject: [PATCH 3/5] Exclude useless files from the specification build.

---
 docs/_spec/_config.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/_spec/_config.yml b/docs/_spec/_config.yml
index 6f545bc54059..3277a8bbcc77 100644
--- a/docs/_spec/_config.yml
+++ b/docs/_spec/_config.yml
@@ -9,3 +9,15 @@ markdown: redcarpet
 encoding: utf-8
 redcarpet:
   extensions: ["no_intra_emphasis", "fenced_code_blocks", "autolink", "tables", "with_toc_data", "strikethrough", "lax_spacing", "space_after_headers", "superscript", "footnotes", "disable_indented_code_blocks"]
+exclude:
+  - APPLIEDreference
+  - TODOreference
+  - docker-compose.yml
+  - Dockerfile
+  - Gemfile
+  - Gemfile.lock
+  - README.md
+  - spec-toc.xslt
+  - package.json
+  - package-lock.json
+  - node_modules

From a9baa5a0d3a328f3169a129722e9b33e86088a5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Tue, 19 Sep 2023 18:31:45 +0200
Subject: [PATCH 4/5] Deploy the spec on push.

---
 .github/workflows/spec.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/spec.yml b/.github/workflows/spec.yml
index 9dcc338c7241..0d4f91e66002 100644
--- a/.github/workflows/spec.yml
+++ b/.github/workflows/spec.yml
@@ -38,3 +38,18 @@ jobs:
       - name: Build the specification
         run: |
           bundle exec jekyll build
+
+      # Deploy
+      - name: Deployment
+        env:
+          USER_FOR_TEST: ${{ secrets.SPEC_DEPLOY_USER }}
+        if: ${{ env.USER_FOR_TEST != '' }}
+        uses: burnett01/rsync-deployments@6.0.0
+        with:
+          switches: -rzv
+          path: docs/_spec/_site/
+          remote_path: ${{ secrets.SPEC_DEPLOY_PATH }}
+          remote_host: ${{ secrets.SPEC_DEPLOY_HOST }}
+          remote_user: ${{ secrets.SPEC_DEPLOY_USER }}
+          remote_key: ${{ secrets.SPEC_DEPLOY_KEY }}
+          remote_key_pass: ${{ secrets.SPEC_DEPLOY_PASS }}

From 11df1e043468e746cb5ea0c71a8e9d10f299f948 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Thu, 21 Sep 2023 10:52:39 +0200
Subject: [PATCH 5/5] Add a disclaimer that the spec is still a work in
 progress.

---
 docs/_spec/index.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/docs/_spec/index.md b/docs/_spec/index.md
index 0cef7e45a322..d901bfb15914 100644
--- a/docs/_spec/index.md
+++ b/docs/_spec/index.md
@@ -11,6 +11,21 @@ Martin Odersky, Philippe Altherr, Vincent Cremet, Sébastien Doeraene, Gilles Du
 
 Markdown Conversion by Iain McGinniss.
 
+#### Disclaimer: Work in Progress
+
+This specification for Scala 3 is still a work in progress.
+Some features added in Scala 3 are missing.
+Here is a list of the most important missing aspects:
+
+* `extension` methods
+* `given` and `using` contextual abstractions
+* type-class derivation with `derives`
+* behavior of structural types based on `Selectable`
+* meta-programming with `inline def`s and quotes
+* match types (pending a [Scala Improvement Proposal](https://github.com/scala/improvement-proposals/pull/65) with a full specification)
+
+For those features, the best reference so far remains [the Scala 3 Reference](https://docs.scala-lang.org/scala3/reference/).
+
 #### Preface
 
 Scala is a Java-like programming language which unifies