Context Navigation

ExpTest.hs @ 22

Last change on this file since 22 was 22, checked in by gobi, 12 years ago
Expressions
File size: 256 bytes

Rev	Line
[22]	1	{-# LANGUAGE NoMonomorphismRestriction #-}
	2
	3	module Tests.ExpTest where
	4
	5	import Lambda
	6	import Exp
	7	import Ops
	8	import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool )
	9
	10	testNil :: Exp e => e [a]
	11	testNil = nil
	12
	13	addOne :: Exp e => e [Int]

Note: See TracBrowser for help on using the repository browser.