documentation icon indicating copy to clipboard operation
documentation copied to clipboard
verified publisher icon purescript

Complete error documentation pages

Open paf31 opened this issue 8 years ago • 5 comments

  • [ ] AdditionalProperty
  • [ ] AmbiguousTypeVariables
  • [x] ArgListLengthsDiffer
  • [x] CannotDefinePrimModules
  • [x] CannotDerive
  • [ ] CannotDeriveNewtypeForData
  • [ ] CannotFindDerivingType
  • [ ] CannotGeneralizeRecursiveFunction
  • [ ] CannotGetFileInfo
  • [ ] CannotReadFile
  • [ ] CannotUseBindWithDo
  • [x] CannotWriteFile
  • [ ] CaseBinderLengthDiffers
  • [ ] ClassInstanceArityMismatch
  • [ ] ConstrainedTypeUnified
  • [x] CycleInDeclaration
  • [x] CycleInKindDeclaration
  • [x] CycleInModules
  • [ ] CycleInTypeClassDeclaration
  • [ ] CycleInTypeSynonym
  • [x] DeclConflict
  • [x] DeprecatedFFIPrime
  • [ ] DuplicateExportRef
  • [x] DuplicateImport
  • [x] DuplicateImportRef
  • [ ] DuplicateInstance
  • [ ] DuplicateLabel
  • [x] DuplicateModule
  • [x] DuplicateRoleDeclaration
  • [ ] DuplicateSelectiveImport
  • [ ] DuplicateTypeArgument
  • [ ] DuplicateTypeClass
  • [ ] DuplicateValueDeclaration
  • [ ] ErrorParsingCSTModule
  • [x] ErrorParsingFFIModule
  • [x] ErrorParsingModule
  • [x] EscapedSkolem
  • [ ] ExpectedType
  • [ ] ExpectedTypeConstructor
  • [ ] ExpectedWildcard
  • [ ] ExportConflict
  • [ ] ExprDoesNotHaveType
  • [ ] ExtraneousClassMember
  • [x] FileIOError
  • [x] HiddenConstructors
  • [x] HidingImport
  • [ ] HoleInferredType
  • [x] ImplicitImport
  • [x] ImplicitQualifiedImport
  • [ ] ImplicitQualifiedImportReExport
  • [x] ImportHidingModule
  • [ ] IncompleteExhaustivityCheck
  • [x] IncorrectAnonymousArgument
  • [ ] IncorrectConstructorArity
  • [ ] InfiniteKind
  • [x] InfiniteType
  • [x] InternalCompilerError
  • [ ] IntOutOfRange
  • [x] InvalidCoercibleInstanceDeclaration
  • [ ] InvalidDerivedInstance
  • [ ] InvalidDoBind
  • [ ] InvalidDoLet
  • [ ] InvalidFFIIdentifier
  • [x] InvalidInstanceHead
  • [x] InvalidNewtype
  • [x] InvalidNewtypeInstance
  • [ ] InvalidOperatorInBinder
  • [x] KindsDoNotUnify
  • [ ] MisleadingEmptyTypeImport
  • [ ] MissingClassMember
  • [ ] MissingFFIImplementations
  • [x] MissingFFIModule
  • [ ] MissingKindDeclaration
  • [ ] MissingNewtypeSuperclassInstance
  • [x] MissingTypeDeclaration
  • [x] MixedAssociativityError
  • [x] ModuleNotFound
  • [ ] MultipleFFIModules
  • [ ] MultipleTypeOpFixities
  • [ ] MultipleValueOpFixities
  • [ ] NameIsUndefined
  • [x] NoInstanceFound
  • [x] NonAssociativeError
  • [x] OrphanInstance
  • [x] OrphanKindDeclaration
  • [x] OrphanRoleDeclaration
  • [ ] OrphanTypeDeclaration
  • [x] OverlappingArgNames
  • [ ] OverlappingInstances
  • [ ] OverlappingNamesInLet
  • [x] OverlappingPattern
  • [x] PartiallyAppliedSynonym
  • [x] PossiblyInfiniteCoercibleInstance
  • [ ] PossiblyInfiniteInstance
  • [x] QuantificationCheckFailureInKind
  • [x] QuantificationCheckFailureInType
  • [ ] PropertyIsMissing
  • [x] RedefinedIdent
  • [x] RoleDeclarationArityMismatch
  • [x] RoleMismatch
  • [x] ScopeConflict
  • [ ] ScopeShadowing
  • [x] ShadowedName
  • [ ] ShadowedTypeVar
  • [x] TypeSynonymInstance
  • [ ] TransitiveDctorExportError
  • [x] TransitiveExportError
  • [x] TypesDoNotUnify
  • [ ] TypeSynonymInstance
  • [x] UndefinedTypeVariable
  • [ ] UnknownClass
  • [ ] UnknownExport
  • [ ] UnknownExportDataConstructor
  • [x] UnknownImport
  • [ ] UnknownImportDataConstructor
  • [x] UnknownName
  • [ ] UnnecessaryFFIModule
  • [x] UnsupportedRoleDeclaration
  • [x] UnsupportedTypeInKind
  • [ ] UnusableDeclaration
  • [x] UnusedDctorExplicitImport
  • [x] UnusedDctorImport
  • [x] UnusedExplicitImport
  • [ ] UnusedFFIImplementations
  • [x] UnusedImport
  • [ ] UnusedTypeVar
  • [ ] UnverifiableSuperclassInstance
  • [ ] UserDefinedWarning
  • [x] VisibleQuantificationCheckFailureInType
  • [x] WarningParsingModule
  • [x] WildcardInferredType

paf31 avatar Jan 29 '17 03:01 paf31

Present in the compiler (master as of right now) but not the above list (or as skeletons):

  • [ ] DuplicateInstance
  • [ ] DuplicateTypeClass
  • [ ] ExpectedTypeConstructor
  • [ ] InvalidDerivedInstance
  • [ ] MissingNewtypeSuperclassInstance
  • [ ] UnusableDeclaration
  • [ ] UnusedImport
  • [ ] UnverifiableSuperclassInstance

nwolverson avatar Jan 04 '18 18:01 nwolverson

I got an UnusableDeclaration today.

jamesdbrock avatar Apr 17 '20 01:04 jamesdbrock

I opened https://github.com/purescript/documentation/pull/351 to add placeholders for errors lacking them and updated the list.

kl0tl avatar Sep 12 '20 15:09 kl0tl

Also the following errors aren’t thrown by the compiler anymore:

  • CannotGetFileInfo
  • CannotReadFile
  • CannotWriteFile
  • MultipleFFIModules

kl0tl avatar Sep 12 '20 15:09 kl0tl

Opened https://github.com/purescript/documentation/pull/411 for the UnusedName warning.

maxdeviant avatar Nov 14 '21 19:11 maxdeviant