Closed Fuuzetsu closed 5 years ago
… Checking Web.Semantic.DL.ABox.Interp (/tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/ABox/Interp.agda). Checking Web.Semantic.DL.TBox.Interp (/tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/TBox/Interp.agda). Finished Web.Semantic.DL.TBox.Interp. Finished Web.Semantic.DL.ABox.Interp. /tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/Everything.agda:6,8-35 Unsolved metas at the following locations: /tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/ABox/Interp.agda:14,20-21 /tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/ABox/Interp.agda:17,13-14 /tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/ABox/Interp.agda:20,15-16 /tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/ABox/Interp.agda:26,10-15 /tmp/nix-build-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv-0/git-export/src/Web/Semantic/DL/ABox/Interp.agda:26,24-35 when scope checking the declaration import Web.Semantic.DL.ABox.Interp builder for `/nix/store/337gigkdg0r7iabymny4bfm87f7w8axg-agda-web-semantic-4e06735588a4c0d1545e8ca0294ab1239d5f9d2a.drv' failed with exit code 1
Fixed
th-thanks
@Fuuzetsu th-there are still some compatibility issues though. Ma-maybe Agda's constructor overloading is broken.