haftmann [Tue, 07 Sep 2010 16:49:32 +0200] rev 39439
only write ghc pragma when writing to a file
haftmann [Tue, 07 Sep 2010 16:37:23 +0200] rev 39438
added flat_program; tuned signature
haftmann [Tue, 07 Sep 2010 16:37:23 +0200] rev 39437
dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement
haftmann [Tue, 07 Sep 2010 16:26:14 +0200] rev 39436
moved flat_program to code_namespace
haftmann [Tue, 07 Sep 2010 16:05:20 +0200] rev 39435
dropped outdated substitution
haftmann [Tue, 07 Sep 2010 16:05:18 +0200] rev 39434
Haskell uses generic flat_program combinator
haftmann [Tue, 07 Sep 2010 11:08:58 +0200] rev 39433
factored out build_module_namespace
haftmann [Tue, 07 Sep 2010 11:08:57 +0200] rev 39432
added generic flat_program procedure
bulwahn [Tue, 07 Sep 2010 14:11:05 +0200] rev 39431
using the proposed modes for starting the fixpoint iteration in the mode analysis
nipkow [Tue, 07 Sep 2010 12:04:34 +0200] rev 39430
merged