Choices translations #51
ibbemAnnotations
4 errors, 2 warnings, and 1 notice
|
build:
src/Translation/Lang/OC-to-BCC.lagda.md#L468
Confₒ ⇔ Conf₂ !=< Expression WFOCL A → Config WFOCL ⇔ Config BCCL
when checking that the expression compile-configs has type
Expression WFOCL A → Config WFOCL ⇔ Config BCCL
———— Warning(s) ————————————————————————————————————————————
|
|
build:
src/Translation/Lang/VariantList-to-CCC.lagda.md#L85
Not in scope:
encode-idemp
at /home/runner/work/AgdaCCnOC/AgdaCCnOC/src/Translation/Lang/VariantList-to-CCC.lagda.md:85,15-27
(did you mean
'.#Lang.CCC-96176741075974548.Encode.ccc-encode-idemp' or
'CCC-Module.Encode.ccc-encode-idemp' or
'Encode.ccc-encode-idemp'?)
when scope checking encode-idemp
———— Warning(s) ————————————————————————————————————————————
|
|
build:
src/Translation/Construct/2Choice-to-NChoice-VL.agda#L96
(Config Γ₂ → Config Γ₁) !=< Config Γ₁
when checking that the expression fnoc has type
(x : Framework.Compiler.LanguageCompiler.L₁ t _A_76) → Config Γ₁
|
|
build
Process completed with exit code 1.
|
|
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build:
src/Framework/Variants.agda#L14
The module At doesn't export the following:\n map-children-preserves\nwhen scope checking the declaration\n open import Construct.Artifact as At using (_-<_>-; map-children;\n map-children-preserves)\n renaming (Syntax to Artifact; Construct to ArtifactC)\n
|
|
build
The following files couldn't be checked because a dependency of them has errors:
Test/Experiments/OC-to-BCC.agda (depends on Translation/Lang/OC-to-BCC.lagda.md)
Main.agda (depends on Translation/Lang/OC-to-BCC.lagda.md)
Test/Test/VariantList-Completeness.agda (depends on Framework/Variants.agda)
Test/Examples/Variants.agda (depends on Framework/Variants.agda)
Translation/Lang/OC-to-BCC.lagda.md (depends on Framework/Variants.agda)
Translation/Lang/VariantList-to-CCC.lagda.md (depends on Framework/Variants.agda)
Translation/LanguageMap.lagda.md (depends on Translation/Lang/OC-to-BCC.lagda.md)
|