[cl-unification-devel] making cl-ppcre extension portable
Marco Antoniotti
marcoxa at cs.nyu.edu
Fri Apr 17 15:20:46 UTC 2009
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 at 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 at 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 at 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 at 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 at 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 at common-lisp.net
> > http://common-lisp.net/mailman/listinfo/cl-unification-devel
>
> --
> Marco Antoniotti
>
>
>
> _______________________________________________
> cl-unification-devel site list
> cl-unification-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel
>
>
> --
> Marco Antoniotti
>
>
>
>
> --
> Marco Antoniotti
>
>
>
>
> --
> Marco Antoniotti
>
>
>
--
Marco Antoniotti
More information about the cl-unification-devel
mailing list