anchor.diff:  			(merge-pathnames slime-dir                        source-file))
   	(copy-dist-file (merge-pathnames swank-loader::*fasl-directory*   fasl-file)
   			(merge-pathnames slime-dir                        fasl-file)))
  +
  +      (dolist (dir haskell-dirs)
  +	(copy-dist-directory (extend-directory source-dir dir)
  +			     (extend-directory haskell-dir  dir)))
         )
   
       ;; Ilisp
  
positive.code:          (Distribution::*ignored-types*
            (if *copy-elc-files?* Distribution::*ignored-types* (cons "elc" Distribution::*ignored-types*)))
  	 ;;
  	 (all-files        (append generic-files slime-files ilisp-files xeli-files openmcl-files ignored-files))
  	 (all-dirs         (append generic-dirs  slime-dirs  ilisp-dirs  xeli-dirs  openmcl-dirs  ignored-dirs))
  	 )
  
  
  
negative.code:     (copy-dist-directory (extend-directory source-dir    "ProverBase")
  			 (extend-directory component-dir "ProverBase"))
  
      (copy-dist-directory (extend-directory source-dir    "Haskell")
  			 (extend-directory component-dir "Haskell"))
      
      (copy-dist-directory (extend-directory source-dir    "General")
  			 (extend-directory component-dir "General"))
  