Feature Algebra and FSTs #100
pmbittnerAnnotations
4 errors, 1 warning, and 1 notice
|
build:
src/Test/Experiments/FST-Experiments.agda#L27
No module FSTModule.Defs in scope
when scope checking the declaration
open FSTModule.Defs {A}
|
|
build:
src/Translation/Lang/FST-to-OC.agda#L88
No module FST.Framework in scope
when scope checking the declaration
open FST.Framework FeatureName mkDec
———— Warning(s) ————————————————————————————————————————————
|
|
build:
src/Translation/Lang/FST-to-OC.agda#L87
The module _ doesn't export the following:
unq
when scope checking the declaration
open
FST.Impose FeatureName (mkDec ℕ)
using (SPL; _◀_; _::_; _⊚_; unq) renaming (⟦_⟧ to FST⟦_⟧)
|
|
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
The following files couldn't be checked because a dependency of them has errors:
Translation/Lang/FST-to-OC.agda (depends on ————)
Main.agda (depends on Test/Experiments/FST-Experiments.agda)
|