Opened 2 months ago

Last modified 2 months ago

#1666 new enhancement

Separate library into safe and unsafe parts

Reported by: felix winkelmann Owned by:
Priority: minor Milestone: 5.3
Component: core libraries Version: 5.1.0
Keywords: Cc:
Estimated difficulty: medium

Description

Many internal primitives in library.scm are compiled in safe mode, but are not strictly required to be safe. For normal primitives we want argument-count checking, etc., but since safeness declarations can only be scoped globally, all low-level interal procedures are compiled in safe mode as well, preventing possible optimizations by the compiler.

I suggest having two files, library.scm and library-u.scm (for example), one compiled safe, the other unsafe. It should be possible to easily move definitions from one to the other, so that it can be done on a case-by-case basis.

Change History (1)

comment:1 Changed 2 months ago by felix winkelmann

Estimated difficulty: medium
Milestone: someday5.3
Note: See TracTickets for help on using tickets.