Usolved Metas
bblfish opened this issue · 2 comments
bblfish commented
I get the following error message.
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Wiring.agda:19,1-58
Unsolved metas at the following locations:
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Tensor.agda:69,27-35
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Tensor.agda:70,12-20
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Tensor.agda:73,27-35
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Tensor.agda:74,12-20
when scope checking the declaration
open import Web.Semantic.DL.Category.Tensor using (_⊗_)
Am looking to fix it. I will create a commit referencing this issue when I do.
bblfish commented
After working on a few files that error message disappeared but I still get it another file
src/Web/Semantic/DL/Category.agda
Error
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category.agda:4,1-44
Unsolved metas at the following locations:
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:99,9-17
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:99,35-43
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:105,9-17
/Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:105,36-44
when scope checking the declaration
import Web.Semantic.DL.Category.Composition
bblfish commented
This commit deals with the "Unsolved Metas" problem bblfish@064ed89
There seem to be a few more problems to get a full clean compile.