{"action":"opened","issue":{"url":"https://api.github.com/repos/acl2/acl2/issues/368","labels_url":"https://api.github.com/repos/acl2/acl2/issues/368/labels{/name}","comments_url":"https://api.github.com/repos/acl2/acl2/issues/368/comments","events_url":"https://api.github.com/repos/acl2/acl2/issues/368/events","html_url":"https://github.com/acl2/acl2/issues/368","id":69420377,"number":368,"title":"Include-raw attempts to load compiled file when that's been disabled","user":{"login":"MattKaufmann","id":5560443,"avatar_url":"https://avatars.githubusercontent.com/u/5560443?v=3","gravatar_id":"","url":"https://api.github.com/users/MattKaufmann","html_url":"https://github.com/MattKaufmann","followers_url":"https://api.github.com/users/MattKaufmann/followers","following_url":"https://api.github.com/users/MattKaufmann/following{/other_user}","gists_url":"https://api.github.com/users/MattKaufmann/gists{/gist_id}","starred_url":"https://api.github.com/users/MattKaufmann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MattKaufmann/subscriptions","organizations_url":"https://api.github.com/users/MattKaufmann/orgs","repos_url":"https://api.github.com/users/MattKaufmann/repos","events_url":"https://api.github.com/users/MattKaufmann/events{/privacy}","received_events_url":"https://api.github.com/users/MattKaufmann/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-04-19T12:33:43Z","updated_at":"2015-04-19T12:33:43Z","closed_at":null,"body":"It appears that include-raw is not sensitive to having run\r\n(set-compiler-enabled nil state).  That is, it's apparently not\r\nsensitive to the value of state global 'compiler-enabled.  The\r\nfollowing partial log illustrates the point, running ACL2 in\r\nbooks/std/io/.  Notice the warning; after (set-compiler-enabled nil\r\nstate), it would be best not to attempt to load compiled files.\r\n\r\n    ACL2 !>(set-compiler-enabled nil state)\r\n    <state>\r\n    ACL2 !>(include-book \"tools/include-raw\" :dir :system)\r\n    [[ .. snip .. ]]\r\n    ACL2 !>(defttag t)\r\n\r\n    TTAG NOTE: Adding ttag :T from the top level loop.\r\n     :T\r\n    ACL2 !>(include-raw \"read-string-raw.lsp\")\r\n    [[ .. snip .. ]]\r\n    Include-raw Warning: compiled file failed to load; loading uncompiled /Users/kaufmann/acl2/acl2-git-scratch/books/std/io/read-string-raw.lsp\r\n    Details: #<SB-SYS:FD-STREAM\r\n\t       for \"file /Users/kaufmann/acl2/acl2-git-scratch/books/std/io/read-string-raw.fasl\"\r\n\t       {101320E2A3}>\r\n\t     is a fasl file compiled with SBCL 1.1.8.0-19cda10, and can't be loaded\r\n\t     into SBCL 1.2.10.\r\n"}}