search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Compilation error "Illegal instance declaration for `PrimTerm Type'" #961

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From guillaum...@gmail.com on November 14, 2013 11:57:09

I’m getting the following error when trying to compile the latest darcs version of Agda:

[…] [210 of 258] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.o )

src/full/Agda/TypeChecking/Primitive.hs:103:10: Illegal instance declaration for PrimTerm Type' (All instance types must be of the form (T t1 ... tn) where T is not a synonym. Use -XTypeSynonymInstances if you want to disable this.) In the instance declaration forPrimTerm Type'

src/full/Agda/TypeChecking/Primitive.hs:130:10: Illegal instance declaration for ToTerm Type' (All instance types must be of the form (T t1 ... tn) where T is not a synonym. Use -XTypeSynonymInstances if you want to disable this.) In the instance declaration forToTerm Type' cabal: Error: some packages failed to install: Agda-2.3.3 failed during the building phase. The exception was: ExitFailure 1

Original issue: http://code.google.com/p/agda/issues/detail?id=961

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 14, 2013 03:12:14

Added the suggested flag.

Status: Fixed

UlfNorell commented 10 years ago

From andres.s...@gmail.com on November 14, 2013 03:17:24

Labels: Type-Defect

UlfNorell commented 10 years ago

From guillaum...@gmail.com on November 14, 2013 03:29:28

Thanks, new compilation error: issue 962 .

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 14, 2013 17:02:52

Labels: BuildFailure