# $Id: Portfile 64964 2010-03-18 15:00:09Z gwright@macports.org $

PortSystem 1.0

PortGroup	haskell 1.0
haskell.setup	type-level 0.2.4
maintainers	nomaintainer
platforms	darwin

description	Type-level programming library
long_description	\
	This library permits performing computations on the type-level.	\
	Type-level functions are implemented using functional		\
	dependencies of multi parameter type classes. To date, Booleans	\
	and Numerals (Naturals and Positives) are supported. With	\
	regard to Numerals, there is support for common arithmetic	\
	operations (addition, substraction, multiplication, division,	\
	exponientation, logarithm, maximum, comparison, GCD) over	\
	natural numbers (using a decimal representation to make		\
	compile-time errors friendlier). Although making use of		\
	type-level computations might seem devious and obfuscated at	\
	first sight, it is indeed useful in practice to implement	\
	lightweight dependent types such us number-parameterized types	\
	(e.g. an array type parameterized by the array's size or a	\
	modular group type Zn parameterized by the modulus).

checksums	md5     4aca3b4fd0a56377ffa79464cf491509 \
		sha1    3ec9cf2f9016852ce217f1d233d6462c7eba80da \
		rmd160  03f185a2cad6575f9e73b406ed8fbdb931e32c8f

depends_lib	port:ghc

patchfiles	type-level.cabal.diff

universal_variant	no

configure.args-append	-v --enable-library-profiling		\
			--with-gcc=${configure.cc}

build.args-append	-v


