Skip to content

Instantly share code, notes, and snippets.

Thinking about ramen

Guillaume Martres smarter

Thinking about ramen
View GitHub Profile
View Runner_20201002-191012-utc.log
This file has been truncated, but you can view the full file.
[2020-10-02 19:10:12Z INFO HostContext] No proxy settings were found based on environmental variables (http_proxy/https_proxy/HTTP_PROXY/HTTPS_PROXY)
[2020-10-02 19:10:12Z INFO HostContext] Well known directory 'Bin': '/home/drone/github-actions-runners/runner-1/bin.2.273.5'
[2020-10-02 19:10:12Z INFO HostContext] Well known directory 'Root': '/home/drone/github-actions-runners/runner-1'
[2020-10-02 19:10:12Z INFO HostContext] Well known config file 'Credentials': '/home/drone/github-actions-runners/runner-1/.credentials'
[2020-10-02 19:10:12Z INFO Listener] Runner is built for Linux (X64) - linux-x64.
[2020-10-02 19:10:12Z INFO Listener] RuntimeInformation: Linux 4.4.0-151-generic #178-Ubuntu SMP Tue Jun 11 08:30:22 UTC 2019.
[2020-10-02 19:10:12Z INFO Listener] Version: 2.273.5
[2020-10-02 19:10:12Z INFO Listener] Commit: a79bab4b3c993a205a2d73d2b618299d8a96bd26
[2020-10-02 19:10:12Z INFO Listener] Culture: en-US
View lockup.txt
Lisp Backtrace:
"looking-at" (0x91c61e70)
"scala-syntax:looking-at-simplePattern-beginning" (0x91c620d0)
"scala-font-lock:limit-pattern2" (0x91c623a0)
"scala-font-lock:limit-pattern" (0x91c625f0)
"eval" (0x91c627d0)
"font-lock-fontify-keywords-region" (0x91c62d30)
"font-lock-default-fontify-region" (0x91c63050)
"font-lock-fontify-region" (0x91c632c8)
View broken.txt
rep: Update report:
Resolve time: -1 ms, Download time: -1 ms, Download size: -1 bytes
ch.epfl.lamp:dotty-doc_0.14:0.14.0-RC1:default (artifactId=dotty-doc_0.14, project.version=0.14.0-RC1, pom.groupId=ch.epfl.lamp, groupId=ch.epfl.lamp, project.groupId=ch.epfl.lamp, version=0.14.0-RC1, pom.version=0.14.0-RC1, project.artifactId=dotty-doc_0.14, pom.artifactId=dotty-doc_0.14): (Artifact(dotty-doc_0.14, jar, jar, None, Vector(), Some(, Map(artifactId -> dotty-doc_0.14, project.version -> 0.14.0-RC1, pom.groupId -> ch.epfl.lamp, groupId -> ch.epfl.lamp, project.groupId -> ch.epfl.lamp, version -> 0.14.0-RC1, pom.version -> 0.14.0-RC1, project.artifactId -> dotty-doc_0.14, pom.artifactId -> dotty-doc_0.14), None),/home/smarter/.cache/coursier/v1/https/
View sbt
#SBT_OPTS="-Xms512M -Xmx4096M -XX:ReservedCodeCacheSize=1024M -XX:+CMSClassUnloadingEnabled"
#SBT_OPTS="-Xms512M -Xmx1536M -XX:+CMSClassUnloadingEnabled -XX:MaxInlineLevel=35"
SBT_OPTS="-Xms512M -Xmx6192M -XX:ReservedCodeCacheSize=1024M -XX:+CMSClassUnloadingEnabled -XX:MaxInlineLevel=35"
while [ $# -ne 0 ]; do
case $1 in
View .dotty-ide.json
[ {
"id" : "wsdPkgMetrics/compile",
"compilerVersion" : "0.10.0-RC1",
"compilerArguments" : [ ],
"sourceDirectories" : [ "wsdPkgMetrics/src" ],
"dependencyClasspath" : [ "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/" ],
"classDirectory" : "out/wsdPkgMetrics/compile/dest/classes"
} ]
View .dotty-ide.json
[ {
"id" : "wsdPkgMetrics/compile",
"compilerVersion" : "0.10.0-RC1",
"compilerArguments" : [ ],
"sourceDirectories" : [ "wsdPkgMetrics/src" ],
"dependencyClasspath" : [ "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/", "/home/smarter/.cache/coursier/v1/https/" ],
"classDirectory" : "out/wsdPkgMetrics/compile/dest/classes"
} ]
View t10387.scala
object foo {
abstract sealed class num
final case class One() extends num
final case class Bit0(a: num) extends num
final case class Bit1(a: num) extends num
abstract sealed class char
final case class zero_char() extends char
final case class Char(a: num) extends char
View fs2.scala
trait Stream[+F[_], +A]
object Stream {
// Make scalac get over its oudenophobia.
type Nothing2[X] <: Nothing
def emits[F[x] >: Nothing2[x], A](as: List[A]): Stream[F, A] = new Stream[F, A] {}
implicit class InvariantOps[F[x] >: Nothing2[x], A](private val self: Stream[F, A]) extends AnyVal {
def ethrough[B](p: Stream[F, A] => Stream[F, B]): Stream[F, B] = p(self)
View lazyvallock.scala
% jstack 368186
2018-07-05 02:28:18
Full thread dump OpenJDK 64-Bit Server VM (25.171-b11 mixed mode):
"Attach Listener" #25 daemon prio=9 os_prio=0 tid=0x00007fda08001000 nid=0x59ff3 waiting on condition [0x0000000000000000]
java.lang.Thread.State: RUNNABLE
"ForkJoinPool-1-worker-0" #24 daemon prio=5 os_prio=0 tid=0x00007fd9f4e61800 nid=0x59ec3 in Object.wait() [0x00007fda513ac000]
java.lang.Thread.State: WAITING (on object monitor)
at java.lang.Object.wait(Native Method)
smarter / fmap.scala
Last active Nov 18, 2019
Should work with 0.20.0-RC1
View fmap.scala
// Compiles with
// ./bin/dotc -classpath "$(coursier fetch -p org.typelevel:cats-core_2.13:2.0.0)" out/fmap.scala
import cats._
import cats.implicits._
object Test {
val fmap: [A, B] -> (A => B) => [F[_]] -> F[A] => (given Functor[F]) => F[B] = [A, B] -> (f: A => B) => ([F[_]] -> (fa: F[A]) => (given ev: Functor[F]) =>
val addOne = fmap((x: Int) => x + 1)