Changeset 5592 for util/gen_prelude.pl

Show
Ignore:
Timestamp:
07/14/05 15:26:31 (3 years ago)
Author:
iblech
svk:copy_cache_prev:
7591
Message:

Usual svn props, EOLs at EOFs, minor doc and Haddock fixes.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • util/gen_prelude.pl

    r5558 r5592  
    3333 
    3434sub null { 
    35     print STDERR "Generating null prelude... " if $Config{verbose}; 
     35    print STDERR "Generating null Prelude... " if $Config{verbose}; 
    3636    open my $np, "src/Pugs/PreludePC.hs-null" or 
    37         die "can't open null prelude: $!"; 
     37        die "Couldn't open null Prelude (src/Pugs/PreludePC.hs-null): $!"; 
    3838    print while (<$np>); 
    3939    print STDERR "done.\n" if $Config{verbose}; 
    … …  
    4141 
    4242sub precomp { 
    43     print STDERR "Generating precompiled prelude... " if $Config{verbose}; 
     43    print STDERR "Generating precompiled Prelude... " if $Config{verbose}; 
    4444    die "*** Error: $0 needs an already compiled Pugs to precompile the Prelude\n" 
    4545        unless $Config{pugs}; 
    … …  
    119119Creates a PreludePC.hs file (written to stdout), to be included by Run.hs. 
    120120 
    121 In the first build phase, a "null" prelude with only placeholder functions 
     121In the first build phase, a "null" Prelude with only placeholder functions 
    122122is used. In the second phase, the Standard Prelude is precompiled and 
    123123inlined into the resulting pugs executable.