Gentoo Packages

Search

Package Information

Description:

Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct.

Homepage:

https://idris-lang.org/

Versions

Metadata

Description

• Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct.

Maintainers

• Gentoo Scheme Project (scheme@gentoo.org) - Type: project

Upstream

• Bugs: https://github.com/idris-lang/Idris2/issues/
• Changelog: https://github.com/idris-lang/Idris2/blob/main/CHANGELOG.md
• Remote IDs:
  • github: idris-lang/Idris2

<pkgmetadata>
	<maintainer type="project">
		<email>scheme@gentoo.org</email>
		<name>Gentoo Scheme Project</name>
	</maintainer>
	<longdescription>
    Idris is a programming language designed to encourage Type-Driven
    Development.
    In type-driven development, types are tools for constructing programs.
    We treat the type as the plan for a program, and use the compiler
    and type checker as our assistant, guiding us to a complete program that
    satisfies the type. The more expressive the type is that we give up front,
    the more confidence we can have that the resulting program will be correct.
  </longdescription>
	<use>
		<flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag>
		<flag name="racket">build using <pkg>dev-scheme/racket</pkg></flag>
		<flag name="test-full">pull in depedndencies to run all tests</flag>
	</use>
	<upstream>
		<changelog>&#xA;      https://github.com/idris-lang/Idris2/blob/main/CHANGELOG.md&#xA;    </changelog>
		<bugs-to>https://github.com/idris-lang/Idris2/issues/</bugs-to>
		<remote-id type="github">idris-lang/Idris2</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 0.7.0-r2 uses IUSE flag 'minimal' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 0.7.0-r2. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• idris2-0.7.0-disable-allbackends-tests.patch

Manifest