kenji yoshida xuwei-k
xuwei-k
/ scala-2-release-default-value.txt
Created
September 21, 2022 10:11
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ scala -version | |
| Scala code runner version 2.13.9 -- Copyright 2002-2022, LAMP/EPFL and Lightbend, Inc. | |
| $ java -version | |
| openjdk version "17.0.3" 2022-04-19 LTS | |
| OpenJDK Runtime Environment Zulu17.34+19-CA (build 17.0.3+7-LTS) | |
| OpenJDK 64-Bit Server VM Zulu17.34+19-CA (build 17.0.3+7-LTS, mixed mode, sharing) | |
| $ scala -release:help | |
| Usage: -release:<release> where <release> choices are 8, 9, 10, 11, 12, 13, 14, 15, 16, 17 (default: 17). | |
| $ jenv shell 11 |
xuwei-k
/ WrongStringInterpolation.scala
Created
August 8, 2022 10:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package fix | |
| import scalafix.Diagnostic | |
| import scalafix.Patch | |
| import scalafix.v1.SyntacticDocument | |
| import scalafix.v1.SyntacticRule | |
| import scala.meta.Term | |
| import scalafix.lint.LintSeverity | |
| class WrongStringInterpolation extends SyntacticRule("WrongStringInterpolation") { |
xuwei-k
/ TooLarge.scala
Last active
July 29, 2022 01:20
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scalafix.Diagnostic | |
| import scalafix.Patch | |
| import scalafix.lint.LintSeverity | |
| import scalafix.v1.SyntacticDocument | |
| import scalafix.v1.SyntacticRule | |
| import scala.meta.Defn | |
| import scala.meta.Tree | |
| import scala.meta.inputs.Input | |
| import scala.meta.inputs.Position |
xuwei-k
/ MapSequenceTraverse.scala
Created
July 14, 2022 06:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package fix | |
| import scalafix.Patch | |
| import scalafix.v1.SyntacticDocument | |
| import scalafix.v1.SyntacticRule | |
| import scala.meta.Term | |
| class MapSequenceTraverse extends SyntacticRule("MapSequenceTraverse") { | |
| override def fix(implicit doc: SyntacticDocument): Patch = { | |
| doc.tree.collect { |
xuwei-k
/ SumFoldMap.scala
Created
July 7, 2022 11:08
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package fix | |
| import scalafix.Patch | |
| import scalafix.v1.SyntacticDocument | |
| import scalafix.v1.SyntacticRule | |
| import scala.meta.Position | |
| import scala.meta.Term | |
| import scalafix.lint.Diagnostic | |
| import scalafix.lint.LintSeverity |
xuwei-k
/ return-in-scala-3-compiler.txt
Created
June 1, 2022 07:12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- Warning: compiler/src/dotty/tools/dotc/typer/Applications.scala:1087:6 ------ | |
| [wartremover:Return] return is disabledctorTest 5s | |
| -- Warning: compiler/src/dotty/tools/dotc/typer/Applications.scala:1241:43 ----- | |
| [wartremover:Return] return is disabled | |
| -- Warning: compiler/src/dotty/tools/dotc/typer/Applications.scala:1784:34 ----- | |
| [wartremover:Return] return is disabled | |
| -- Warning: compiler/src/dotty/tools/dotc/typer/Applications.scala:1786:12 ----- | |
| [wartremover:Return] return is disabled | |
| -- Warning: compiler/src/dotty/tools/dotc/typer/Checking.scala:429:6 ----------- | |
| [wartremover:Return] return is disabled |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| sealed abstract class Y | |
| class Y1 extends Y | |
| class Y2 extends Y | |
| sealed abstract class X[B](val value: Int) | |
| case object X1 extends X[Y1](1) | |
| case object X2 extends X[Y2](2) |
xuwei-k
/ orphan-parameter-reference.txt
Created
April 6, 2022 22:16
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Welcome to Scala 3.1.1 (1.8.0_322, Java OpenJDK 64-Bit Server VM). | |
| Type in expressions for evaluation. Or try :help. | |
| scala> import scala.quoted.* | |
| scala> def a[A](f : [x <: Quotes] => (x: x) => x.reflect.Tree => A): A = ??? | |
| def a[A](f: [x <: quoted.Quotes] => (x: x) => x.reflect.Tree => A): A | |
| scala> a([x <: Quotes] => (x: x) => (tree: x.reflect.Tree) => tree.symbol) | |
| error when pickling type x.type |
xuwei-k
/ Scala-3-TASTy-inspector-CyclicReference.txt
Created
April 3, 2022 23:56
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [error] dotty.tools.dotc.core.CyclicReference: | |
| [error] at dotty.tools.dotc.core.CyclicReference$.apply(TypeErrors.scala:155) | |
| [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:165) | |
| [error] at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:187) | |
| [error] at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:189) | |
| [error] at dotty.tools.dotc.core.classfile.ClassfileParser$innerClasses$.getMember$1(ClassfileParser.scala:1118) | |
| [error] at dotty.tools.dotc.core.classfile.ClassfileParser$innerClasses$.classSymbol(ClassfileParser.scala:1130) | |
| [error] at dotty.tools.dotc.core.classfile.ClassfileParser.classNameToSymbol(ClassfileParser.scala:117) | |
| [error] at dotty.tools.dotc.core.classfile.ClassfileParser.sig2type$1(ClassfileParser.scala:426) | |
| [error] at dotty.tools.dotc.core.classfile.ClassfileParser.processTypeArgs$1(ClassfileParser.scala:413) |
xuwei-k
/ TASTy-inspector-ArrayIndexOutOfBoundsException.txt
Created
April 3, 2022 10:23
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [error] java.lang.ArrayIndexOutOfBoundsException: 9 | |
| [error] at scala.collection.mutable.AnyRefMap.seekEntry(AnyRefMap.scala:126) | |
| [error] at scala.collection.mutable.AnyRefMap.get(AnyRefMap.scala:151) | |
| [error] at scala.collection.mutable.Map$WithDefault.get(Map.scala:247) | |
| [error] at scala.collection.MapOps.apply(Map.scala:175) | |
| [error] at scala.collection.MapOps.apply$(Map.scala:175) | |
| [error] at scala.collection.AbstractMap.apply(Map.scala:405) | |
| [error] at dotty.tools.dotc.util.FreshNameCreator$Default.newName(FreshNameCreator.scala:26) | |
| [error] at dotty.tools.dotc.core.NameKinds$UniqueNameKind.fresh(NameKinds.scala:222) | |
| [error] at dotty.tools.dotc.core.NameKinds$UniqueNameKind.fresh(NameKinds.scala:226) |