Re: [cl-unification-devel] making cl-ppcre extension portable

Hi

yes. That is the easy way out :)

I was working on a more modular solution which would not introduce a required dependency on CL-PPCRE. If anybody on the list knows how to do it in an easy way, please let me know.

Cheers -- Marco

On Apr 17, 2009, at 17:05 , Slobodan Blazeski wrote:

I've just downloaded new tarball and everything is the same.

In order to load without a problem you need two changes:

cl-unification.asd

(asdf:defsystem cl-unification :author "Marco Antoniotti" :serial t :depends-on (:cl-ppcre) ; THIS LINE IS ADDED :components ((:file "unification-package") (:file "variables") (:file "substitutions") (:file "lambda-list-parsing") (:file "templates-hierarchy") (:file "unifier") (:file "match-block") (:file "apply-substitution") (:module "lib-dependent" :depends-on ("templates-hierarchy" "unifier") :components ( #+cl-ppcre (:file "cl-ppcre-template") ))))

File cl-ppcre-template.lisp

(in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. ;;; Below line is making problem under my configuration ;(require "CL-PPCRE")

Now everything works fine:

On Thu, Apr 16, 2009 at 7:31 PM, Marco Antoniotti marcoxa@cs.nyu.edu wrote: Hi

yes. I figured out what is happening.

The new version should work out fine. Although I do not use ASDF regularly. I've heard that many lispers are switching to cl-build but I'm still asdf user. LW system is good but unportable. cheers bobi

Marco

On Apr 16, 2009, at 18:32 , Slobodan Blazeski wrote:

CL-USER 1 > (asdf :cl-unification) ; loading system definition from ; C:\Documents and Settings\slobodan\My Documents\Lisp Libraries\cl- unification\cl-unification.asd ; into #<The ASDF0 package, 0/16 internal, 0/16 external> ; Loading text file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\cl-unification.asd ; registering #<SYSTEM CL-UNIFICATION 218DCECB> as CL-UNIFICATION ;; Creating system COMMON-LISP-USER::CL-UNIFICATION->LIB-DEPENDENT ;; Creating system COMMON-LISP-USER::CL-UNIFICATION ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\unification-package.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (DEFPACKAGE "CL.EXT.DACF.UNIFICATION") ; (TOP-LEVEL-FORM 2) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\unification-package.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\variables.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; CL.EXT.DACF.UNIFICATION::MAKE-VAR-NAME ; CL.EXT.DACF.UNIFICATION::VARIABLEP ; CL.EXT.DACF.UNIFICATION::VARIABLE-ANY-P ; (TOP-LEVEL-FORM 3) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\variables.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\substitutions.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; (DEFTYPE CL.EXT.DACF.UNIFICATION::BINDING) ; (DEFTYPE CL.EXT.DACF.UNIFICATION::BINDINGS) ; CL.EXT.DACF.UNIFICATION::MAKE-BINDING ; CL.EXT.DACF.UNIFICATION::EXTEND-BINDINGS ; CL.EXT.DACF.UNIFICATION::BINDING-VARIABLE ; (SETF CL.EXT.DACF.UNIFICATION::BINDING-VARIABLE) ; CL.EXT.DACF.UNIFICATION::BINDING-VALUE ; (SETF CL.EXT.DACF.UNIFICATION::BINDING-VALUE) ; CL.EXT.DACF.UNIFICATION::BINDINGS-VALUES ; CL.EXT.DACF.UNIFICATION::BINDINGS-KEYS ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION:UNIFICATION- VARIABLE-UNBOUND) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION-VARIABLE-UNBOUND)) ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION-VARIABLE- UNBOUND) ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION:UNIFICATION- FAILURE) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION- FAILURE)) ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION-FAILURE) ; (SUBFUNCTION (DEFSETF CL.EXT.DACF.UNIFICATION::FRAME-BINDINGS) (DEFSTRUCT CL.EXT.DACF.UNIFICATION::FRAME)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-FRAME (DEFSTRUCT CL.EXT.DACF.UNIFICATION::FRAME)) ; CL.EXT.DACF.UNIFICATION::EMPTY-FRAME-P ; CL.EXT.DACF.UNIFICATION::FIND-VARIABLE-BINDING-IN-FRAME ; CL.EXT.DACF.UNIFICATION::FIND-VARIABLE-VALUE-IN-FRAME ; CL.EXT.DACF.UNIFICATION::FRAME-VARIABLES ; CL.EXT.DACF.UNIFICATION::FRAME-VALUES ; (SUBFUNCTION (DEFSETF CL.EXT.DACF.UNIFICATION::ENVIRONMENT-FRAMES) (DEFSTRUCT CL.EXT.DACF.UNIFICATION:ENVIRONMENT)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-ENVIRONMENT (DEFSTRUCT CL.EXT.DACF.UNIFICATION:ENVIRONMENT)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-ENVIRONMENT (DEFSTRUCT CL.EXT.DACF.UNIFICATION:ENVIRONMENT)) ; CL.EXT.DACF.UNIFICATION::PRINT-ENVIRONMENT ; (DEFTYPE CL.EXT.DACF.UNIFICATION::SUBSTITUTION) ; CL.EXT.DACF.UNIFICATION::SUBSTITUTION-P ; CL.EXT.DACF.UNIFICATION::FIRST-FRAME ; CL.EXT.DACF.UNIFICATION:MAKE-EMPTY-ENVIRONMENT ; CL.EXT.DACF.UNIFICATION::COPY-ENVIRONMENT ; CL.EXT.DACF.UNIFICATION::MAKE-SHARED-ENVIRONMENT ; CL.EXT.DACF.UNIFICATION::EMPTY-ENVIRONMENT-P ; (DEFPARAMETER CL.EXT.DACF.UNIFICATION::*NULL-ENVIRONMENT*) ; CL.EXT.DACF.UNIFICATION:FIND-VARIABLE-VALUE ; CL.EXT.DACF.UNIFICATION::EXTEND-ENVIRONMENT ; CL.EXT.DACF.UNIFICATION::FILL-ENVIRONMENT ; CL.EXT.DACF.UNIFICATION::FILL-ENVIRONMENT* ; (TOP-LEVEL-FORM 3) ; (TOP-LEVEL-FORM 4) ; CL.EXT.DACF.UNIFICATION:V? ; CL.EXT.DACF.UNIFICATION:V? ; CL.EXT.DACF.UNIFICATION::ENVIRONMENT-VARIABLES ; CL.EXT.DACF.UNIFICATION::ENVIRONMENT-VALUES ; (TOP-LEVEL-FORM 5) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\substitutions.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\lambda-list-parsing.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; (TOP-LEVEL-FORM 3) ; CL.EXT.DACF.UNIFICATION::TYPE-IS-T-P ; CL.EXT.DACF.UNIFICATION::TYPE-IS-T-P ; (TOP-LEVEL-FORM 4) ; CL.EXT.DACF.UNIFICATION::TYPE-SPECIFIER-P ; CL.EXT.DACF.UNIFICATION::TYPE-SPECIFIER-P ; CL.EXT.DACF.UNIFICATION::NORMALIZE-LAMBDA-LIST ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-OPTIONAL-LAMBDA-VAR- INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::OPTIONAL-LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-OPTIONAL-LAMBDA-VAR- INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::OPTIONAL-LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-AUX-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::AUX-LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-AUX-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::AUX-LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-KEY-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::KEY-LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-KEY-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::KEY-LAMBDA-VAR-INFO)) ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-REST-LAMBDA-VAR-INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::REST-LAMBDA-VAR-INFO)) ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION::LAMBDA-LIST- PARSING-ERROR) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::LAMBDA- LIST-PARSING-ERROR)) ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::LAMBDA-LIST-PARSING- ERROR) ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::LAMBDA-LIST-PARSING- ERROR) ; CL.EXT.DACF.UNIFICATION::SYMBOL-OR-CONS-P ; CL.EXT.DACF.UNIFICATION::PARSE-EXTENDED-ORDINARY-LAMBDA-LIST ; CL.EXT.DACF.UNIFICATION::PARSE-VAR-TYPE-INFO ; CL.EXT.DACF.UNIFICATION::PARSE-OPTIONAL-VAR-TYPE-INFO ; CL.EXT.DACF.UNIFICATION::PARSE-AUXILIARY-VAR-TYPE-INFO ; CL.EXT.DACF.UNIFICATION::PARSE-REST-VAR-TYPE-INFO ; CL.EXT.DACF.UNIFICATION::PARSE-KEY-VAR-TYPE-INFO ; (TOP-LEVEL-FORM 5) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\lambda-list-parsing.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\templates-hierarchy.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION::UNIFICATION- TEMPLATE-ERROR) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION-TEMPLATE-ERROR)) ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION-TEMPLATE- ERROR) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::TYPE-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::TYPE-TEMPLATE-P) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::TYPE-TEMPLATE-TYPE-SPEC) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::EXPRESSION-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::EXPRESSION-TEMPLATE-P) ; (METHOD PRINT-OBJECT (CL.EXT.DACF.UNIFICATION::TEMPLATE STREAM)) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::LIST-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::LIST-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::LAMBDA-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::LAMBDA-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::STRING-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::STRING-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::ELEMENT-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::ELEMENT-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE-P) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NTHCDR-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NTHCDR-TEMPLATE-P) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE) ; CL.EXT.DACF.UNIFICATION::|sharp-T-reader| ; (METHOD MAKE-LOAD-FORM (CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (TOP-LEVEL-FORM 3) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (NULL SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (SYMBOL SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE SYMBOL)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (SYMBOL CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (CONS CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (NUMBER NUMBER)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE SEQUENCE)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE LIST)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE LAMBDA)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE VECTOR)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE STRING)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE ARRAY)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE SUBSEQ)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE ELT)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE AREF)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE NTH)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE NTHCDR)) CONS)) ; CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE-SYMBOL ; CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE-NUMBER ; CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE-LAMBDA-LIST ; CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE-ELEMENT-TYPE ; CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE-SIZE ; CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-SHAPE-TEMPLATE ; CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-ELEMENT-TYPE ; CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-DIMENSIONS ; CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE-SLOTS ; CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE-SLOTS ; CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE-INDEXES ; CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE-ELEMENT ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (NULL)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (STRING)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (VECTOR)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (ARRAY)) ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (T)) ; (TOP-LEVEL-FORM 4) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\templates-hierarchy.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\unifier.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION:UNIFY) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL LIST)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST LIST)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NUMBER NUMBER)) ; (DEFPARAMETER CL.EXT.DACF.UNIFICATION::*UNIFY-STRING-CASE- SENSITIVE-P*) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CHARACTER CHARACTER)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRING STRING)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL STRING)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRING SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL T)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (T SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL ARRAY)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR VECTOR)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE SEQUENCE)) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY) ; (METHOD CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY (LIST VECTOR)) ; (METHOD CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY (VECTOR LIST)) ; (METHOD CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY (T T)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY ARRAY)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (T T)) ; CL.EXT.DACF.UNIFICATION::VALID-TEMPLATE-P ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NULL NULL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NULL CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE NULL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE CL.EXT.DACF.UNIFICATION::NIL- TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NUMBER CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE NUMBER)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NUMBER CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE NUMBER)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE SEQUENCE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE LIST)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE VECTOR)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE ARRAY)) ; CL.EXT.DACF.UNIFICATION::UNIFY-ARRAY-ROW ; CL.EXT.DACF.UNIFICATION::UNIFY-ARRAY-ROWS ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STANDARD-OBJECT CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STANDARD-OBJECT CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE STANDARD-OBJECT)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRUCTURE-OBJECT CL.EXT.DACF.UNIFICATION::TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRUCTURE-OBJECT CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::TEMPLATE STRUCTURE-OBJECT)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE SEQUENCE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE ARRAY)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE SEQUENCE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE LIST)) ; CL.EXT.DACF.UNIFICATION:UNIFY* ; CL.EXT.DACF.UNIFICATION:UNIFY-EQUATIONS ; CL.EXT.DACF.UNIFICATION:UNIFY-EQUATIONS* ; (DEFPARAMETER CL.EXT.DACF.UNIFICATION::*OCCURRENCE-CHECK-P*) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::OCCURS-IN-P) ; CL.EXT.DACF.UNIFICATION::VAR-UNIFY ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL SYMBOL T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL LIST T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL NULL T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL ARRAY T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL VECTOR T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL STRING T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL NUMBER T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL CHARACTER T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL T T)) ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (T T T)) ; (TOP-LEVEL-FORM 3) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\unifier.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\match-block.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; CL.EXT.DACF.UNIFICATION::CLEAN-UNIFY-VAR-NAME ; CL.EXT.DACF.UNIFICATION:MATCH ; CL.EXT.DACF.UNIFICATION:MATCHF ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION::UNIFICATION-NON- EXHAUSTIVE) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION- NON-EXHAUSTIVE)) ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION-NON- EXHAUSTIVE) ; CL.EXT.DACF.UNIFICATION:MATCHING ; CL.EXT.DACF.UNIFICATION:MATCH-CASE ; (TOP-LEVEL-FORM 3) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\match-block.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\apply-substitution.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION) ; (METHOD CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION (CL.EXT.DACF.UNIFICATION:ENVIRONMENT SYMBOL)) ; (METHOD CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION (CL.EXT.DACF.UNIFICATION:ENVIRONMENT CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION (CL.EXT.DACF.UNIFICATION:ENVIRONMENT NULL)) ; CL.EXT.DACF.UNIFICATION::COMPOSE-SUBSTITUTIONS ; CL.EXT.DACF.UNIFICATION::GROUND-TERM ; (TOP-LEVEL-FORM 3) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\apply-substitution.ofasl ;;; Compiling file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\lib-dependent\cl-ppcre- template.lisp ... ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 ;;; Source level debugging is on ;;; Source file recording is on ;;; Cross referencing is on ; (TOP-LEVEL-FORM 1) ; (TOP-LEVEL-FORM 2) ; (TOP-LEVEL-FORM 3) ; (DEFCLASS CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE) ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE-P) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE CL.EXT.DACF.UNIFICATION::REGEXP)) CONS)) ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION)) CONS)) ; (METHOD INITIALIZE-INSTANCE :AFTER (CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE STRING)) ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRING CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE)) ; (TOP-LEVEL-FORM 4) ; Loading fasl file C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\lib-dependent\cl-ppcre-template.ofasl

Error: Unknown module "CL-PPCRE". 1 (continue) Try loading C:\Documents and Settings\slobodan\My Documents\Lisp Libraries\cl-unification\lib-dependent\cl-ppcre- template.ofasl again. 2 Give up loading C:\Documents and Settings\slobodan\My Documents \Lisp Libraries\cl-unification\lib-dependent\cl-ppcre-template.ofasl. 3 Try loading another file instead of C:\Documents and Settings \slobodan\My Documents\Lisp Libraries\cl-unification\lib-dependent \cl-ppcre-template.ofasl. 4 Recompile cl-ppcre-template and try loading it again 5 Retry performing #<ASDF:LOAD-OP NIL 216A8F1F> on #<ASDF:CL-SOURCE-FILE "cl-ppcre-template" 2168B087>. 6 Continue, treating #<ASDF:LOAD-OP NIL 216A8F1F> on #<ASDF:CL-SOURCE-FILE "cl-ppcre-template" 2168B087> as having been successful. 7 (abort) Return to level 0. 8 Return to top loop level 0.

Type :b for backtrace, :c <option number> to proceed, or :? for other options

On Thu, Apr 16, 2009 at 3:38 PM, Marco Antoniotti marcoxa@cs.nyu.edu wrote:

On Apr 16, 2009, at 12:53 , Slobodan Blazeski wrote:

No I'm doing standard (asdf :cl-unification) with lispworks, I have edi starter pack installed.

Then it should work... I have LW as well.

What error do you get exactly?

Marco

Thanks for teh info I will download new version tommorrow.

cheers

bobi

On Thu, Apr 16, 2009 at 9:47 AM, Marco Antoniotti marcoxa@cs.nyu.edu wrote: This is strange. Are you trying to load it separatedly?

In any case, I will apply Matthew's patch asap. (wait until tonight...)

Cheers

Marco

On Apr 16, 2009, at 09:22 , Slobodan Blazeski wrote:

cl-unification fails to load on lispworks windows, it fails in cl- ppcre-template.lisp line (require "CL-PPCRE")

if you add cl-ppcre as dependency on the .asd file everything works fine.

cheers

bobi

On Thu, Apr 16, 2009 at 8:33 AM, Marco Antoniotti marcoxa@cs.nyu.edu wrote: Thanks for the patches....

Yes. Splitting the system file is a better idea. I'll do that.

(I got the asd file. But not here... looks like clnet has MIMEdefang setu up to be too eager)

Marco

On Apr 16, 2009, at 04:30 , Matthew D. Swank wrote:

...

WARNING: This e-mail has been altered by MIMEDefang. Following this paragraph are indications of the actual changes made. For more information about your site's MIMEDefang policy, contact CIMS Helpdesk helpdesk@courant.nyu.edu. For more information about MIMEDefang, see:

       http://www.roaringpenguin.com/mimedefang/enduser.php3

An attachment named cl-unification-lib.asd was removed from this document as it constituted a security hazard. If you require this document, please contact the sender and arrange an alternate means of receiving it.

Could something like to this be merged to make the new addition more portable?

Cheers,

Matt

-- "You do not really understand something unless you can explain it to your grandmother." -- Albert Einstein. <cl-u.patch>_______________________________________________ cl-unification-devel site list cl-unification-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/cl-unification-devel

-- Marco Antoniotti

---

cl-unification-devel site list cl-unification-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/cl-unification-devel

-- Marco Antoniotti

-- Marco Antoniotti

-- Marco Antoniotti

-- Marco Antoniotti