Javier Neira

The output in console has the same codes :worried: : ``` C:\ws\eta\wai-servlet-handler-jetty>etlas repl In order, the following will be built (use -v for more details): - wai-servlet-handler-jetty-0.1.2.0 (lib) (file src\Network\Wai\Servlet\Handler...

@rahulmutt i am afraid it seems that option (in etlas/config, right?) is not honored, both the builds and the repl keep showing the codes

After building last version of eta (and keeping `-fdiagnostics-color=never`) the console output is clean (only the welcome message continue having coloring codes and unicode unrecognized chars) However the build log...

No coloring codes now in build... great! The welcome message as i see: ``` C:\ws\eta>etlas repl ╭─── Welcome to Eta REPL v0.8.0b2! ────────────────────────╮ ��─────────────────╮ �──────────╮ ��─────╮ �──╮ �╮ │ │...

@rahulmutt maybe the last error is related with #640?

@rahulmutt i've tested in my env `wai-servlet` and it works too! thanks for the quick fix * In windows 7 with cmd * I have the console with `chcp 65001`...

Hi, definitely x86_44-windows is a supported platform so it should work fine. It seems it fails to download the needed binaries (`eta.exe`,`eta-pkg.exe`,`eta-serv.jar`) to the local dir `%APPDATA%\etlas\binaries\cdnverify.eta-lang.org\eta-0.8.6.2\binaries\x86_64-windows` Could you remove...

Mmm, the error is thrown by curl itself trying to access the url, so maybe it is related with that url ot its ssl config but no with eta or...

Hi! I think you have to create an instance of HTest instead, somethink like: ```haskell foreign import java unsafe "@new" newHTest :: Java a HTest mkHTest _ = return $...

Oh, yeah, you can't use a free type variable in exports if they are not static so i think that: ```haskell -- To make eta create the class you have...