ccfontes / faas-idris2

An OpenFaaS template for writing Functions in Idris 2.

Passionate about

Stats

faas-idris2's Issues

COPY racket dist from docker img is insufficient

Error: huh, erased from the terminal buffer, but it was spurious as such: build/exec/index not found.

Offending code:

FROM racket/racket:8.8 AS racket

FROM idris2-chez AS idris2-racket
ONBUILD COPY --from=racket /usr/bin/raco /usr/bin/raco
ONBUILD COPY --from=racket /usr/bin/racket /usr/bin/racket
ONBUILD COPY --from=racket /usr/share/racket /usr/share/racket
ONBUILD COPY --from=racket /usr/lib/racket /usr/lib/racket

What works:

FROM racket/racket:8.8 AS racket

FROM idris2-chez AS idris2-racket
ONBUILD RUN apt-get update && apt-get install --yes racket

Now we know this will get us into trouble in prod right? So, let's try to find out what's missing.

Support Racket codegen

Add hello world benchmarks

User to pass codegen only in one place

Problem: For now, the user needs to configure codegen both in stack.yml and pack.toml.

Solution: Hack an idris2-pack fork to allow passing --cg <codegen> to build command

Add Node Function tests

Support chez libraries

CI tests should use faas template from branch being tested

Conditionally install code generator tools depending on selected pack codegen

https://stackoverflow.com/questions/43654656/dockerfile-if-else-condition-with-external-arguments

From the link above see this answer:

Dockerfile if else condition with external arguments

Run Function as non-root user

Error when runnng as non-root user:

Function invoke time error:
   mkdir: cannot create directory '/home/app/.pack/.tmp0': Permission denied
   /home/app/.pack/bin/idris2: 7: [: missing ]
 FIXME: fix errors above for this user:

Dockerfile related code:

 RUN groupadd app && useradd -g app app
 USER app:app

Support other Idris 2 code generators

Support more Idris 2 code generators. For starters:

• JVM: https://github.com/mmhelloworld/idris-jvm
• Python: https://github.com/madman-bob/idris2-python

Support JVM codegen

Codegen: https://github.com/mmhelloworld/idris-jvm

Pack support pending issue: github.com/stefan-hoeck/idris2-pack#146

Support racket libraries