Update changelog for v1.1.2

.github/workflows/build-and-test.yml

@@ -72,15 +72,15 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           dune-cache: true
 
+      - name: Install coreutils on MacOS
+        if: runner.os == 'macOS'
+        run: brew install coreutils
+
       - name: Install dependencies
         run: opam install --locked --deps-only --with-test --with-doc ./beluga.opam
 
       - name: Build
         run: opam exec -- make
 
-      - name: Install coreutils on MacOS
-        if: runner.os == 'macOS'
-        run: brew install coreutils
-
       - name: Test
         run: opam exec -- make test

CHANGES.md

@@ -1,3 +1,16 @@
+## v1.1.2
+
+### Added
+
+- Added C. Sano, R. Kavanagh and B. Pientka's artifact for "Mechanizing Session-Types Using a Structural View" as a case study (#271).
+
+### Fixed
+
+- Support postponed fixity pragmas in modules.
+- The hole `_` in the LF term `\x._` is parsed as a wildcard instead of as an identifier.
+- Shadowed bindings in a module are no longer brought into scope when the module is opened.
+- Support postponed fixity pragmas in Harpoon sessions.
+
 ## v1.1.1
 
 ### Added

beluga.opam

@@ -24,6 +24,7 @@ depends: [
   "sedlex" {>= "2.5"}
   "omd" {>= "1.3.2"}
   "uri" {>= "4.2.0"}
+  "conf-timeout" {with-test}
   "ocamlformat" {= "0.25.1" & with-test}
   "yojson" {>= "2.0.2" & with-test}
   "ounit2" {>= "2.2.6" & with-test}

dune-project

@@ -44,6 +44,7 @@
    (>= 1.3.2))
   (uri
    (>= 4.2.0))
+  (conf-timeout :with-test)
   (ocamlformat
    (and
     (= 0.25.1)