[Sbcl-devel] [bug] REQUIRE and string designators

[Antonio M. <to...@te...>]

ANSI says that PROVIDE and REQUIRE take string designator arguments.
A string designator is coerced to a string using STRING, and
comparison of SDs is done using STRING=.

However, the current implementation of REQUIRE calls
MODULE-PROVIDE-CONTRIB, which computes the pathname by downcasing
strings obtained from symbols, but not from literal strings.  So
(REQUIRE "ASDF") loses, yet (REQUIRE "asdf") wins.
(MODULE-PROVIDE-CONTRIB signals an error on handle character string
designators.)

Less verbosely:

        (require "ASDF") != (require "asdf") == (require 'asdf)
        (require #\a) => error

Attached is an (untested) patch which I hope helps.

                                --Tony