Files

 master

/

errors

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

ysangkok

Link generics documentation that isn't deprecated (#447)

Oct 27, 2022

581caaa · Oct 27, 2022

History

History

/

errors

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
AdditionalProperty.md		AdditionalProperty.md	Move missing pages into errors/ (#35)	Jan 29, 2017
AmbiguousTypeVariables.md		AmbiguousTypeVariables.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ArgListLengthsDiffer.md		ArgListLengthsDiffer.md	Update ArgListLengthsDiffer.md (#268)	Sep 8, 2019
CannotDefinePrimModules.md		CannotDefinePrimModules.md	Add missing errors placeholders (#351)	Oct 10, 2020
CannotDerive.md		CannotDerive.md	Link generics documentation that isn't deprecated (#447)	Oct 27, 2022
CannotDeriveNewtypeForData.md		CannotDeriveNewtypeForData.md	Move missing pages into errors/ (#35)	Jan 29, 2017
CannotFindDerivingType.md		CannotFindDerivingType.md	Move missing pages into errors/ (#35)	Jan 29, 2017
CannotGeneralizeRecursiveFunction.md		CannotGeneralizeRecursiveFunction.md	Move missing pages into errors/ (#35)	Jan 29, 2017
CannotUseBindWithDo.md		CannotUseBindWithDo.md	Move missing pages into errors/ (#35)	Jan 29, 2017
CaseBinderLengthDiffers.md		CaseBinderLengthDiffers.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ClassInstanceArityMismatch.md		ClassInstanceArityMismatch.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ConstrainedTypeUnified.md		ConstrainedTypeUnified.md	Move missing pages into errors/ (#35)	Jan 29, 2017
CycleInDeclaration.md		CycleInDeclaration.md	Replace references to pulp with spago in error docs (#298)	Mar 1, 2020
CycleInKindDeclaration.md		CycleInKindDeclaration.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
CycleInModules.md		CycleInModules.md	Tidy up the error pages (#31)	Jan 24, 2017
CycleInTypeClassDeclaration.md		CycleInTypeClassDeclaration.md	Add missing errors placeholders (#351)	Oct 10, 2020
CycleInTypeSynonym.md		CycleInTypeSynonym.md	Move missing pages into errors/ (#35)	Jan 29, 2017
DeclConflict.md		DeclConflict.md	Documented declConflict errors (#281)	Sep 5, 2020
DeprecatedFFICommonJSModule.md		DeprecatedFFICommonJSModule.md	Add DeprecatedFFICommonJSModule error (#416)	Feb 14, 2022
DeprecatedFFIPrime.md		DeprecatedFFIPrime.md	Add documentation for DeprecatedFFIPrime warnings (#293)	Mar 7, 2020
DuplicateExportRef.md		DuplicateExportRef.md	Move missing pages into errors/ (#35)	Jan 29, 2017
DuplicateImport.md		DuplicateImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
DuplicateImportRef.md		DuplicateImportRef.md	Various imports error/warnings entries (#159)	Jan 14, 2018
DuplicateInstance.md		DuplicateInstance.md	Add missing errors placeholders (#351)	Oct 10, 2020
DuplicateLabel.md		DuplicateLabel.md	Move missing pages into errors/ (#35)	Jan 29, 2017
DuplicateModule.md		DuplicateModule.md	Tidy up the error pages (#31)	Jan 24, 2017
DuplicateRoleDeclaration.md		DuplicateRoleDeclaration.md	Document roles and Coercible related errors (#352)	Dec 23, 2020
DuplicateSelectiveImport.md		DuplicateSelectiveImport.md	Move missing pages into errors/ (#35)	Jan 29, 2017
DuplicateTypeArgument.md		DuplicateTypeArgument.md	Move missing pages into errors/ (#35)	Jan 29, 2017
DuplicateTypeClass.md		DuplicateTypeClass.md	Add missing errors placeholders (#351)	Oct 10, 2020
DuplicateValueDeclaration.md		DuplicateValueDeclaration.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ErrorParsingCSTModule.md		ErrorParsingCSTModule.md	Add missing errors placeholders (#351)	Oct 10, 2020
ErrorParsingFFIModule.md		ErrorParsingFFIModule.md	Tidy up the error pages (#31)	Jan 24, 2017
ErrorParsingModule.md		ErrorParsingModule.md	Tidy up the error pages (#31)	Jan 24, 2017
EscapedSkolem.md		EscapedSkolem.md	Update EscapedSkolem.md (#47)	Mar 26, 2017
ExpectedType.md		ExpectedType.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ExpectedTypeConstructor.md		ExpectedTypeConstructor.md	Add missing errors placeholders (#351)	Oct 10, 2020
ExpectedWildcard.md		ExpectedWildcard.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ExportConflict.md		ExportConflict.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ExprDoesNotHaveType.md		ExprDoesNotHaveType.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ExtraneousClassMember.md		ExtraneousClassMember.md	Move missing pages into errors/ (#35)	Jan 29, 2017
FileIOError.md		FileIOError.md	Update for the new FileIOError error code (#276)	Oct 12, 2019
HiddenConstructors.md		HiddenConstructors.md	Document HiddenConstructors (#354)	Feb 18, 2021
HidingImport.md		HidingImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
HoleInferredType.md		HoleInferredType.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ImplicitImport.md		ImplicitImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
ImplicitQualifiedImport.md		ImplicitQualifiedImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
ImplicitQualifiedImportReExport.md		ImplicitQualifiedImportReExport.md	Add missing errors placeholders (#351)	Oct 10, 2020
ImportHidingModule.md		ImportHidingModule.md	Various imports error/warnings entries (#159)	Jan 14, 2018
IncompleteExhaustivityCheck.md		IncompleteExhaustivityCheck.md	Move missing pages into errors/ (#35)	Jan 29, 2017
IncorrectAnonymousArgument.md		IncorrectAnonymousArgument.md	suggest naming the arguments	Dec 6, 2017
IncorrectConstructorArity.md		IncorrectConstructorArity.md	Move missing pages into errors/ (#35)	Jan 29, 2017
InfiniteKind.md		InfiniteKind.md	Move missing pages into errors/ (#35)	Jan 29, 2017
InfiniteType.md		InfiniteType.md	Add example and explaination of InfiniteType error (#45)	Feb 20, 2017
IntOutOfRange.md		IntOutOfRange.md	Move missing pages into errors/ (#35)	Jan 29, 2017
InternalCompilerError.md		InternalCompilerError.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
InvalidCoercibleInstanceDeclaration.md		InvalidCoercibleInstanceDeclaration.md	Document roles and Coercible related errors (#352)	Dec 23, 2020
InvalidDerivedInstance.md		InvalidDerivedInstance.md	Add missing errors placeholders (#351)	Oct 10, 2020
InvalidDoBind.md		InvalidDoBind.md	Move missing pages into errors/ (#35)	Jan 29, 2017
InvalidDoLet.md		InvalidDoLet.md	Move missing pages into errors/ (#35)	Jan 29, 2017
InvalidFFIIdentifier.md		InvalidFFIIdentifier.md	Move missing pages into errors/ (#35)	Jan 29, 2017
InvalidInstanceHead.md		InvalidInstanceHead.md	Fill in the InvalidInstanceHead documentation (#163)	Jan 30, 2018
InvalidNewtype.md		InvalidNewtype.md	add documentation for InvalidNewtype	Oct 9, 2017
InvalidNewtypeInstance.md		InvalidNewtypeInstance.md	add documentation for InvalidNewtypeInstance (#128)	Dec 6, 2017
InvalidOperatorInBinder.md		InvalidOperatorInBinder.md	Move missing pages into errors/ (#35)	Jan 29, 2017
KindsDoNotUnify.md		KindsDoNotUnify.md	A number of people have been confused by the KindsDoNotUnify error me…	Dec 14, 2017
MisleadingEmptyTypeImport.md		MisleadingEmptyTypeImport.md	Move missing pages into errors/ (#35)	Jan 29, 2017
MissingClassMember.md		MissingClassMember.md	Move missing pages into errors/ (#35)	Jan 29, 2017
MissingFFIImplementations.md		MissingFFIImplementations.md	Move missing pages into errors/ (#35)	Jan 29, 2017
MissingFFIModule.md		MissingFFIModule.md	More error pages (#32)	Jan 25, 2017
MissingKindDeclaration.md		MissingKindDeclaration.md	Add missing errors placeholders (#351)	Oct 10, 2020
MissingNewtypeSuperclassInstance.md		MissingNewtypeSuperclassInstance.md	Add missing errors placeholders (#351)	Oct 10, 2020
MissingTypeDeclaration.md		MissingTypeDeclaration.md	fix broken link (#252)	May 27, 2019
MixedAssociativityError.md		MixedAssociativityError.md	Document new fixity errors in 0.12 (#230)	Jan 13, 2019
ModuleNotFound.md		ModuleNotFound.md	Replace references to pulp with spago in error docs (#298)	Mar 1, 2020
MultipleTypeOpFixities.md		MultipleTypeOpFixities.md	Move missing pages into errors/ (#35)	Jan 29, 2017
MultipleValueOpFixities.md		MultipleValueOpFixities.md	Move missing pages into errors/ (#35)	Jan 29, 2017
NameIsUndefined.md		NameIsUndefined.md	Move missing pages into errors/ (#35)	Jan 29, 2017
NoInstanceFound.md		NoInstanceFound.md	Remove the Partial type class guide, refs #96 (#240)	Feb 5, 2019
NonAssociativeError.md		NonAssociativeError.md	Document new fixity errors in 0.12 (#230)	Jan 13, 2019
OrphanInstance.md		OrphanInstance.md	More error pages (#32)	Jan 25, 2017
OrphanKindDeclaration.md		OrphanKindDeclaration.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
OrphanRoleDeclaration.md		OrphanRoleDeclaration.md	Document roles and Coercible related errors (#352)	Dec 23, 2020
OrphanTypeDeclaration.md		OrphanTypeDeclaration.md	OrphanTypeDeclaration Error explaination (#395)	Jun 4, 2022
OverlappingArgNames.md		OverlappingArgNames.md	Update repl sessions to avoid obsolete 'let' (#101)	Jul 9, 2017
OverlappingInstances.md		OverlappingInstances.md	Move missing pages into errors/ (#35)	Jan 29, 2017
OverlappingNamesInLet.md		OverlappingNamesInLet.md	Move missing pages into errors/ (#35)	Jan 29, 2017
OverlappingPattern.md		OverlappingPattern.md	More error pages (#32)	Jan 25, 2017
PartiallyAppliedSynonym.md		PartiallyAppliedSynonym.md	Explain why eta-reduced type synonyms are good	Jun 12, 2018
PossiblyInfiniteCoercibleInstance.md		PossiblyInfiniteCoercibleInstance.md	Document PossiblyInfiniteCoercibleInstance	Dec 27, 2020
PossiblyInfiniteInstance.md		PossiblyInfiniteInstance.md	Move missing pages into errors/ (#35)	Jan 29, 2017
PropertyIsMissing.md		PropertyIsMissing.md	Move missing pages into errors/ (#35)	Jan 29, 2017
QuantificationCheckFailureInKind.md		QuantificationCheckFailureInKind.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
QuantificationCheckFailureInType.md		QuantificationCheckFailureInType.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
RedefinedIdent.md		RedefinedIdent.md	Error information for RedefinedIdent (#146)	Dec 14, 2017
RoleDeclarationArityMismatch.md		RoleDeclarationArityMismatch.md	Document roles and Coercible related errors (#352)	Dec 23, 2020
RoleMismatch.md		RoleMismatch.md	Document roles and Coercible related errors (#352)	Dec 23, 2020
ScopeConflict.md		ScopeConflict.md	Update ScopeConflict.md (#442)	Jun 24, 2022
ScopeShadowing.md		ScopeShadowing.md	Move missing pages into errors/ (#35)	Jan 29, 2017
ShadowedName.md		ShadowedName.md	Update repl sessions to avoid obsolete 'let' (#101)	Jul 9, 2017
ShadowedTypeVar.md		ShadowedTypeVar.md	Move missing pages into errors/ (#35)	Jan 29, 2017
Template.md		Template.md	Tidy up the error pages (#31)	Jan 24, 2017
TransitiveDctorExportError.md		TransitiveDctorExportError.md	Move missing pages into errors/ (#35)	Jan 29, 2017
TransitiveExportError.md		TransitiveExportError.md	Fix link	Jan 25, 2017
TypeSynonymInstance.md		TypeSynonymInstance.md	Removed irrelevant sentence	Apr 13, 2017
TypesDoNotUnify.md		TypesDoNotUnify.md	TypesDoNotUnify - Arrays (#40)	Feb 23, 2017
UndefinedTypeVariable.md		UndefinedTypeVariable.md	More error pages (#32)	Jan 25, 2017
UnknownClass.md		UnknownClass.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnknownExport.md		UnknownExport.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnknownExportDataConstructor.md		UnknownExportDataConstructor.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnknownImport.md		UnknownImport.md	Update UnknownImport.md (#251)	May 19, 2019
UnknownImportDataConstructor.md		UnknownImportDataConstructor.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnknownName.md		UnknownName.md	Update repl sessions to avoid obsolete 'let' (#101)	Jul 9, 2017
UnnecessaryFFIModule.md		UnnecessaryFFIModule.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnsupportedRoleDeclaration.md		UnsupportedRoleDeclaration.md	Document roles and Coercible related errors (#352)	Dec 23, 2020
UnsupportedTypeInKind.md		UnsupportedTypeInKind.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
UnusableDeclaration.md		UnusableDeclaration.md	Add missing errors placeholders (#351)	Oct 10, 2020
UnusedDctorExplicitImport.md		UnusedDctorExplicitImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
UnusedDctorImport.md		UnusedDctorImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
UnusedDeclaration.md		UnusedDeclaration.md	Warnings updates (#413)	Feb 4, 2022
UnusedExplicitImport.md		UnusedExplicitImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
UnusedFFIImplementations.md		UnusedFFIImplementations.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnusedImport.md		UnusedImport.md	Various imports error/warnings entries (#159)	Jan 14, 2018
UnusedName.md		UnusedName.md	Add docs for UnusedName warning (#411)	Nov 15, 2021
UnusedTypeVar.md		UnusedTypeVar.md	Move missing pages into errors/ (#35)	Jan 29, 2017
UnverifiableSuperclassInstance.md		UnverifiableSuperclassInstance.md	Add missing errors placeholders (#351)	Oct 10, 2020
UserDefinedWarning.md		UserDefinedWarning.md	Move missing pages into errors/ (#35)	Jan 29, 2017
VisibleQuantificationCheckFailureInType.md		VisibleQuantificationCheckFailureInType.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
WarningParsingModule.md		WarningParsingModule.md	Add new errors from polykinds branch (#300)	Mar 15, 2020
WildcardInferredType.md		WildcardInferredType.md	More error pages (#32)	Jan 25, 2017
View all files