Phil Andrew

Seed on AWS Lambda (or using Serverless)

1

Feature request: I want Seed on AWS Lambda, Seed can compile to Native and Native on AWS Lambda is fast to load from cold start. References from Quarkus https://quarkus.io/guides/amazon-lambda https://github.com/marcinczeczko/quarkus-lambda-native...

Boxed error when ./seed bloop

2

Boxed error when ./seed bloop ``` Exception in thread "main" java.util.concurrent.ExecutionException: Boxed Error at scala.concurrent.impl.Promise$.resolver(Promise.scala:87) at scala.concurrent.impl.Promise$.scala$concurrent$impl$Promise$$resolveTry(Promise.scala:79) at scala.concurrent.impl.Promise$DefaultPromise.tryComplete(Promise.scala:284) at scala.concurrent.Promise.complete(Promise.scala:53) at scala.concurrent.Promise.complete$(Promise.scala:52) at scala.concurrent.impl.Promise$DefaultPromise.complete(Promise.scala:187) at scala.concurrent.impl.Promise.$anonfun$transform$1(Promise.scala:33) at scala.concurrent.impl.CallbackRunnable.run(Promise.scala:64) at...

Regenerate Bloop project in run

2

If I add this to a script seed (chmod +x) and place in PATH then I run seed run example:js It does not work. To explain what it does do,...

Question: Are seeds modules also Java 9 Modules?

1

Java 9 modules place certain information into a JAR to express this new module standard, does seed automatically output Java 9 module JARS? Or is the module concept only between...

Support Scala 3

1

Can this support scala 3?

Page 18, mult function is wrong

2

Idris version 1.3.2 ``` mult : (n, m : Nat) -> Nat mult Z = Z mult (S k) = plus m (mult k m) ``` Should be ``` mult...

Use as part of a Maven build

2

Hello, this is really good, please keep working on this as I will use it in my project from now onwards. So I want to build Idris JVM code as...

Can it compile to native, eg, LLVM, scalanative, other?

1

So that its not running within JVM, running as native app?

Update examples to ZIO 2.0

3

ZIO 2.0 has been released, please update the examples to match that

Does not start on OSX

3

orsamac:screenshot-app orsa$ node app module.js:356 Module._extensions[extension](this, filename); ^ Error: dlopen(/Users/orsa/home/projects/zero/screenshot-app/node_modules/canvas/build/Release/canvas.node, 1): Symbol not found: _FT_Done_Face Referenced from: /Users/orsa/home/projects/zero/screenshot-app/node_modules/canvas/build/Release/canvas.node Expected in: dynamic lookup ``` at Module.load (module.js:356:32) at Function.Module._load (module.js:312:12) at...