Giters

agda / agda-web-semantic

Agda libraries for the semantic web

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Unsolved metas (Agda 2.4.2)

Fuuzetsu opened this issue · comments

commented 
…
 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
commented

th-thanks

commented

@Fuuzetsu th-there are still some compatibility issues though. Ma-maybe Agda's constructor overloading is broken.