freenode/#clasp - IRC Chatlog
Search
21:09:16
drmeister
Bike: Is it straightforward to get Cleavir up and running in sbcl - it's the same environment that beach and you use all the time - isn't it?
21:11:59
drmeister
Here's what I think it will look like. (1) Run the iclasp-whatever executable and generate a CL source file that defines all kinds of constants that compiling cclasp requires.
21:13:51
drmeister
(4) Run the iclasp-whatever executable, load the instructions for the virtual machine -> many bitcode files, fasl files and executable for cclasp-whatever
22:09:33
drmeister
One last time - there is never a situation where there would be a need for a funcallable class - correct?
22:10:50
drmeister
I've spent the day teasing apart the implementation of Instance_O (includes behavior to support classes) and FuncallableInstance_O (does not include behavior to support classes but supports funcallableness)
22:54:41
drmeister
aclasp is compiling now with the new changes. I have to run an errand for a couple of hours - so I won't be here to fix things if it breaks. I'll have to pick this up again tonight.
22:56:44
drmeister
Just in case I did get everything right I pushed everything to 'dev-func' and I'll try building everything and running the static analyzer on the AWS system.
0:29:07
drmeister
It's going to take some rearranging. There are calls to llvm-sys functions that return values
5:58:28
drmeister
::notify Bike cclasp failed to compile when it runs into a problem with a typecheck in pprint.lsp. The complete backtrace is here: https://gist.github.com/drmeister/91bdedb3229ed403b8d91d6ff15919ac
6:23:04
drmeister
::notify Bike This is happening when building cboehmdc - so I think all type checks should reduce to typep.
7:14:44
drmeister
::notify Bike I think the check isn't allowing for the possibility that there is no typeq information for the type - there is no information for any types with boehmdc, because the static analyzer output isn't used by boehmdc. It needs to use gen-typep-check in this case. I'm going to hack a call to gen-typep-check into gen-primitive-type-check to just get the static analyzer running. You probably have a better way
8:31:20
drmeister
::notify Bike FYI this change to gen-primitive-type-check allowed cclasp-boehmdc to compile ... https://github.com/drmeister/clasp/blob/dev-func/src/lisp/kernel/cleavir/hir-to-mir.lisp#L193