You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Scala 3 type level programming.zip
I used almond 0.14.0-RC14 with the attached notebook and when I re-execute the second cell, I receive:
-- [E040] Syntax Error: cell3.sc:113:2 -----------------------------------------
113 | export,
| ^^^^^^
| an identifier expected, but 'export' found
|
| longer explanation available when compiling with `-explain`
Compilation Failed
It is possible that it is caused by some inspection which fails for the io.circe.export package (in Scala 3.3.1 export is a keyword). It is strange though that it does not happen first time, but it happens reproducibly afterwards. (I was not able to download the notebook with that execution as it resulted in 500 internal server error.)
(I have tried this from Windows 10 with WSL 2 with Ubuntu 20.04 LTS. Installed it with the following command: ./coursier launch --fork almond:0.14.0-RC14 --scala 3.3.1 -- --install, started the notebook server with jupyter notebook)
Server Information:
You are using Jupyter notebook.
The version of the notebook server is: 6.0.3
The server is running on this version of Python:
Python 3.8.10 (default, Nov 22 2023, 10:22:35)
[GCC 9.4.0]
Current Kernel Information:
Almond 0.14.0-RC14
Ammonite 3.0.0-M0-56-1bcbe7f6
Scala library version 2.13.12 -- Copyright 2002-2023, LAMP/EPFL and Lightbend, Inc.
Java 1.8.0_392```
The text was updated successfully, but these errors were encountered:
Can confirm. What's interesting is the second execution does not need any circe references to fail. After evaluating once, the code can be replaced with:
Scala 3 type level programming.zip
I used almond 0.14.0-RC14 with the attached notebook and when I re-execute the second cell, I receive:
It is possible that it is caused by some inspection which fails for the
io.circe.export
package (in Scala 3.3.1export
is a keyword). It is strange though that it does not happen first time, but it happens reproducibly afterwards. (I was not able to download the notebook with that execution as it resulted in 500 internal server error.)(I have tried this from Windows 10 with WSL 2 with Ubuntu 20.04 LTS. Installed it with the following command:
./coursier launch --fork almond:0.14.0-RC14 --scala 3.3.1 -- --install
, started the notebook server withjupyter notebook
)The text was updated successfully, but these errors were encountered: