remove methods that specialize on environment

Author: jbouwman

src/typechecker/context-reduction.lisp

@@ -104,7 +104,7 @@ Returns (PREDS FOUNDP)"
     (simp-loop nil preds)))
 
 (defun reduce-context (env preds subs)
-  (let ((env (apply-substitution subs env))
+  (let ((env (env-apply-substitution subs env))
         (preds (apply-substitution subs preds)))
     (simplify-context
      (lambda (preds pred)

src/typechecker/environment.lisp

@@ -27,6 +27,7 @@
    (#:parser #:coalton-impl/parser)
    (#:map #:coalton-impl/algorithm/hamt))
   (:export
+   #:env-apply-substitution
    #:*update-hook*                          ; VARIABLE
    #:explicit-repr                          ; TYPE
    #:type-entry                             ; STRUCT
@@ -786,7 +787,7 @@
 ;;; Methods
 ;;;
 
-(defmethod apply-substitution (subst-list (env environment))
+(defun env-apply-substitution (subst-list env)
   (declare (type substitution-list subst-list)
            (type environment env)
            (values environment &optional))
@@ -796,9 +797,6 @@
                        (environment-value-environment env)
                        subst-list)))
 
-(defmethod type-variables ((env environment))
-  (value-type-variables (environment-value-environment env)))
-
 ;;;
 ;;; Functions
 ;;;