Ticket #938: load-unit-type-files.patch

File load-unit-type-files.patch, 633 bytes (added by megane, 7 years ago)

a hack

  • batch-driver.scm

    diff --git a/batch-driver.scm b/batch-driver.scm
    index 099548e..da0bc88 100644
    a b  
    548548                    (collect-options 'types))
    549549                   (for-each
    550550                    (lambda (id)
    551                       (load-type-database (make-pathname #f (symbol->string id) "types")))
     551                      (or (load-type-database (make-pathname #f (symbol->string id) "types"))
     552                          (let lp [(paths ##sys#include-pathnames)]
     553                            (or (null? paths)
     554                                (load-type-database (make-pathname #f (symbol->string id) "types")
     555                                                    (car paths))
     556                                (lp (cdr paths))))))
    552557                    mreq)
    553558                   (begin-time)
    554559                   (set! first-analysis #f)