Parse errror: incompatibilité de version entre Agda et sa bibliothèque standard

Question

Je cours la version 2.4.2.2 de Windows Agda précompilée. Dans Emacs/Agda2 Include Dirs J'ai identifié c: /agda-stdlib-0.13/src et les dossiers un niveau ci-dessous. Lors du chargement d'un module qui ne comprend que ces deux lignes, j'obtiens un message d'erreur.

module test1 where 

open import Integer 

Le message d'erreur:

C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5-5 
C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5: Parse error 
HASKELL<ERROR> data AgdaEmpty #-} {-# COMPIL... 

quelque chose qui manque à l'installation correcte de la bibliothèque?

Answer 1

Votre Agda est ancienne. Voir this page pour la compatibilité de la bibliothèque. Vous avez besoin d'Agda 2.5.2 pour cette bibliothèque.