chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

#1715: make -emit-inline-file always write a file


From: Chicken Trac
Subject: #1715: make -emit-inline-file always write a file
Date: Sat, 15 Aug 2020 19:54:38 -0000

#1715: make -emit-inline-file always write a file
---------------------------------+-------------------------------
            Reporter:  alicemaz  |       Type:  change request
              Status:  new       |   Priority:  not urgent at all
           Milestone:  someday   |  Component:  compiler
             Version:  5.2.0     |   Keywords:
Estimated difficulty:  trivial   |
---------------------------------+-------------------------------
 presently, -emit-inline-file will not emit a file, and will delete one if
 it exists, if there are no exported procedures that can be inlined. this
 means in a pattern where you always emit for every -unit, and always
 consult for every -uses, compilation will halt if a file isn't found

 it's a matter of opinion what the right thing to do here is, but I'm
 inclined to think a file should always be emitted if the flag is passed,
 even it's empty, because:
 * it's consistent with how -emit-types-file behaves
 * usage of the flag indicates user intent to create the file
 * "absence of evidence isn't evidence of absence"--the existence of an
 empty file is an affirmative statement there is nothing to inline

 note the deletion/omission behavor was added on purpose in 2010, so this
 isn't accidental, but I'm not sure the reasoning

 tested on platform=LINUX

-- 
Ticket URL: <https://bugs.call-cc.org/ticket/1715>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]