Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for gf-3.8 source tarball
gf-3.8/testsuite/
run.hs
compiler/
check/
abstract-operations/
Nat.gf
abstract-operations.gfs
abstract-operations.gfs.gold
cyclic/
abs-types/
Test1Abs.gf
Test2Abs.gf
Test3Abs.gf
test1.gfs
test1.gfs.gold
test2.gfs
test2.gfs.gold
test3.gfs
opers/
TestOperTypes.gf
TestOpers.gf
test.gfs
test.gfs.gold
params/
TestParams.gf
test.gfs
test.gfs.gold
lincat-types/
Test.gf
TestCnc.gf
test.gfs
test.gfs.gold
lins/
lins.gf
lins.gfs
lins.gfs.gold
linsCnc.gf
oper-definition/
Res.gf
test.gfs
test.gfs.gold
params/
Params.gf
restricted-inheritance/
A.gf
B.gf
strMatch/
strMatch.gf
strMatch.gfs
strMatchCnc.gf
compute/
Records.gf
Records.gfs
Records.gfs.gold
Variants.gf
Variants.gfs
Variants.gfs.gold
params/
params.gf
params.gfs
paramsCnc.gf
renamer/
funpatt.gf
funpatt.gfs
funpatt.gfs.gold
varpatt.gf
varpatt.gfs
varpatt.gfs.gold
typecheck/
Check.gf
abstract/
A.gf
B.gf
C.gf
LetInDefAbs.gf
LetInDefAbs.gfs
LetInTypesAbs.gf
LetInTypesAbs.gfs
LetInTypesAbs.gfs.gold
LitAbs.gf
LitAbs.gfs
LitAbs.gfs.gold
PolyTypes.gf
RecTypes.gf
non-abstract-terms.gfs
non-abstract-terms.gfs.gold
test_A.gfs
test_A.gfs.gold
test_B.gfs
test_B.gfs.gold
test_C.gfs
test_C.gfs.gold
concrete/
A.gf
test_A.gfs
test_A.gfs.gold
update/
ArrityCheck.gf
ArrityCheck.gfs
ArrityCheck.gfs.gold
libraries/
exx-resource.gfs
exx-resource.gfs.gold
runtime/
eval/
Test.gf
eval.gfs
eval.gfs.gold
lazy.gf
lazy.gfs
lazy.gfs.gold
linearize/
Test.gf
TestCnc.gf
brackets.gfs
brackets.gfs.gold
linearize.gfs
linearize.gfs.gold
paraphrase/
City.gf
CityEng.gf
Nat.gf
lambda.gf
lambda.gfs
lambda.gfs.gold
test.gfs.gold
parser/
DummyNat.gf
DummyNatCnc.gf
Literals.gf
LiteralsCnc.gf
Parse.hs
parser.gfs
parser.gfs.gold
typecheck/
Graph.gf
Hard.gf
Test.gf
hard-unification.gfs
hard-unification.gfs.gold
implicit-arguments.gfs
implicit-arguments.gfs.gold
typecheck.gfs
typecheck.gfs.gold