Index of /~ulfn/darcs/Agda2/_darcs/pristine-old/test/fail/errors

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[DIR]Imports/ 2009-06-08 09:56 -  
[ ]ClashingImport.flags 2009-06-08 09:56 9  
[ ]CyclicModuleDependen..>2009-06-08 09:56 9  
[ ]LocalVsImportedModul..>2009-06-08 09:56 9  
[ ]UnsolvedMetasInImpor..>2009-06-08 09:56 9  
[ ]ClashingFileNamesFor..>2009-06-08 09:56 26  
[ ]NoSuchModule.agda 2009-06-08 09:56 34  
[ ]UnsolvedMetas.agda 2009-06-08 09:56 38  
[ ]FileNotFound.agda 2009-06-08 09:56 44  
[ ]NoBindingForBuiltin...>2009-06-08 09:56 44  
[ ]NothingAppliedToHidd..>2009-06-08 09:56 51  
[ ]WrongHidingInLHS.agda 2009-06-08 09:56 58  
[ ]UnsolvedMetasInImpor..>2009-06-08 09:56 61  
[ ]ModuleDoesntExport.agda2009-06-08 09:56 67  
[ ]CyclicModuleDependen..>2009-06-08 09:56 68  
[ ]NotLeqSort.agda 2009-06-08 09:56 71  
[ ]WrongHidingInLambda...>2009-06-08 09:56 74  
[ ]NoSuchBuiltinName.agda 2009-06-08 09:56 77  
[ ]ClashingModuleImport..>2009-06-08 09:56 81  
[ ]NoSuchPrimitiveFunct..>2009-06-08 09:56 82  
[ ]NotAnExpression.err 2009-06-08 09:56 90  
[ ]ShouldBeASort.agda 2009-06-08 09:56 91  
[TXT]NoSuchModule.err 2009-06-08 09:56 93  
[TXT]UnequalSorts.err 2009-06-08 09:56 96  
[TXT]ClashingModule.agda 2009-06-08 09:56 103  
[TXT]NoParseForApplicatio..>2009-06-08 09:56 103  
[ ]NotStrictlyPositiveI..>2009-06-08 09:56 107  
[TXT]UnequalTerms.err 2009-06-08 09:56 108  
[ ]LocalVsImportedModul..>2009-06-08 09:56 109  
[TXT]ClashingDefinition.err 2009-06-08 09:56 110  
[ ]ShouldBeApplicationO..>2009-06-08 09:56 110  
[TXT]ClashingModule.err 2009-06-08 09:56 114  
[ ]ClashingImport.agda 2009-06-08 09:56 116  
[ ]DuplicateBuiltinBind..>2009-06-08 09:56 116  
[ ]UnequalSorts.agda 2009-06-08 09:56 119  
[ ]WrongHidingInApplica..>2009-06-08 09:56 119  
[TXT]NoSuchBuiltinName.err 2009-06-08 09:56 120  
[ ]NotInScope.err 2009-06-08 09:56 126  
[TXT]ClashingDefinition.agda2009-06-08 09:56 129  
[TXT]ShouldBePi.err 2009-06-08 09:56 129  
[TXT]DifferentArities.err 2009-06-08 09:56 130  
[ ]UnequalHiding.agda 2009-06-08 09:56 136  
[ ]ShouldBePi.agda 2009-06-08 09:56 137  
[TXT]ModuleDoesntExport.err 2009-06-08 09:56 138  
[TXT]ShouldBeAppliedToThe..>2009-06-08 09:56 142  
[TXT]UnsolvedMetas.err 2009-06-08 09:56 145  
[ ]ShouldBeEmpty.agda 2009-06-08 09:56 146  
[ ]PropMustBeSingleton...>2009-06-08 09:56 148  
[TXT]MetaOccursInItself.err 2009-06-08 09:56 149  
[ ]UnequalTerms.agda 2009-06-08 09:56 150  
[TXT]ShouldBeEmpty.err 2009-06-08 09:56 153  
[TXT]NoSuchPrimitiveFunct..>2009-06-08 09:56 154  
[ ]NotInScope.agda 2009-06-08 09:56 154  
[ ]DifferentArities.agda 2009-06-08 09:56 157  
[TXT]DuplicateBuiltinBind..>2009-06-08 09:56 158  
[TXT]NoParseForLHS.err 2009-06-08 09:56 159  
[ ]ShouldBeASort.err 2009-06-08 09:56 159  
[ ]NotStrictlyPositiveI..>2009-06-08 09:56 163  
[TXT]WrongHidingInLHS.err 2009-06-08 09:56 163  
[TXT]PropMustBeSingleton.err2009-06-08 09:56 164  
[TXT]NotAModuleExpr.agda 2009-06-08 09:56 165  
[ ]ClashingImport.err 2009-06-08 09:56 167  
[TXT]NoParseForApplicatio..>2009-06-08 09:56 167  
[ ]NoParseForLHS.agda 2009-06-08 09:56 171  
[TXT]NothingAppliedToHidd..>2009-06-08 09:56 172  
[TXT]IncompletePatternMat..>2009-06-08 09:56 173  
[TXT]UninstantiatedModule..>2009-06-08 09:56 173  
[TXT]ShouldBeApplicationO..>2009-06-08 09:56 176  
[TXT]WrongHidingInLambda.err2009-06-08 09:56 177  
[TXT]NoBindingForBuiltin.err2009-06-08 09:56 179  
[TXT]MetaCannotDependOn.err 2009-06-08 09:56 180  
[TXT]CyclicModuleDependen..>2009-06-08 09:56 186  
[ ]ClashingFileNamesFor..>2009-06-08 09:56 189  
[ ]NotAValidLetBinding.err2009-06-08 09:56 192  
[ ]NotAnExpression.agda 2009-06-08 09:56 194  
[ ]BuiltinInParameteris..>2009-06-08 09:56 198  
[TXT]NotLeqSort.err 2009-06-08 09:56 201  
[ ]ClashingModuleImport..>2009-06-08 09:56 203  
[TXT]ShouldEndInApplicati..>2009-06-08 09:56 204  
[ ]WrongHidingInApplica..>2009-06-08 09:56 205  
[TXT]ClashingFileNamesFor..>2009-06-08 09:56 209  
[TXT]UninstantiatedModule..>2009-06-08 09:56 212  
[ ]MetaCannotDependOn.agda2009-06-08 09:56 213  
[TXT]BuiltinInParameteris..>2009-06-08 09:56 215  
[TXT]UnsolvedMetasInImpor..>2009-06-08 09:56 216  
[TXT]NoRHSRequiresAbsurdP..>2009-06-08 09:56 218  
[ ]NotStrictlyPositive...>2009-06-08 09:56 221  
[ ]MetaOccursInItself.agda2009-06-08 09:56 224  
[ ]ShouldEndInApplicati..>2009-06-08 09:56 225  
[TXT]NotAModuleExpr.err 2009-06-08 09:56 226  
[ ]ShouldBeAppliedToThe..>2009-06-08 09:56 234  
[ ]NotAValidLetBinding...>2009-06-08 09:56 235  
[ ]AmbiguousParseForApp..>2009-06-08 09:56 241  
[ ]AmbiguousParseForApp..>2009-06-08 09:56 243  
[TXT]NoRHSRequiresAbsurdP..>2009-06-08 09:56 246  
[ ]LocalVsImportedModul..>2009-06-08 09:56 257  
[TXT]NotStrictlyPositive.err2009-06-08 09:56 259  
[ ]IncompletePatternMat..>2009-06-08 09:56 260  
[TXT]FileNotFound.err 2009-06-08 09:56 262  
[ ]AmbiguousParseForLHS..>2009-06-08 09:56 263  
[TXT]UnequalHiding.err 2009-06-08 09:56 274  
[TXT]AmbiguousParseForLHS..>2009-06-08 09:56 301