vmchale/atspkg

CORS issue with Dhall

Opened this issue · 0 comments

regr4 commented

Hi, I just installed atspkg and ats, and tried to build a Hello World program,
but I got some errors which I'm pretty sure are from Dhall:

$ atspkg run

Resolving dependencies...
atspkg: Error when running Shake build system:
at want, called at src/Language/ATS/Package/Build.hs:226:15 in ts-pkg-3.5.0.2-f28b5587:Language.ATS.Package.Build
* Depends on: run
at need, called at src/Language/ATS/Package/Build.hs:157:9 in ts-pkg-3.5.0.2-f28b5587:Language.ATS.Package.Build
* Depends on: target/ch1
at need, called at src/Development/Shake/ATS.hs:192:9 in shk-ts-1.10.4.2-345f1267:Development.Shake.ATS
* Depends on: .atspkg/c/src/ch1.c
at need, called at src/Development/Shake/ATS.hs:213:9 in shk-ts-1.10.4.2-345f1267:Development.Shake.ATS
* Depends on: .atspkg/deps
* Raised the exception:
Error: Not CORS compliant

Dhall supports transitive imports, meaning that an imported expression can
import other expressions.  However, a remote import (the "parent" import)
cannot import another remote import (the "child" import) unless the child
import grants permission to do using CORS.  The child import must respond with
an `Access-Control-Allow-Origin` response header that matches the parent
import, otherwise Dhall rejects the import.

The child response did not include any `Access-Control-Allow-Origin` header,
so import resolution failed.

I've just got the default atspkg.dhall and pkg.dhall which I generated via pi new ats ch1.
I've no idea what precisely causes this, but in case it matters, I'm on MacOS Catalina.
Sorry if this is my own fault and I messed up somehow.