Remove exports of location accessors

Make consistent with other usage.
coalton-lang · Oct 1, 2024 · caa41f0 · caa41f0
1 parent 194bb2f
commit caa41f0
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 5 deletions.
diff --git a/src/parser/types.lisp b/src/parser/types.lisp
@@ -11,7 +11,6 @@
    (#:util #:coalton-impl/util))
   (:export
    #:ty                                 ; STRUCT
-   #:ty-location                        ; ACCESSOR
    #:ty-list                            ; TYPE
    #:tyvar                              ; STRUCT
    #:make-tyvar                         ; CONSTRUCTOR
@@ -32,13 +31,11 @@
    #:make-ty-predicate                  ; CONSTRUCTOR
    #:ty-predicate-class                 ; ACCESSOR
    #:ty-predicate-types                 ; ACCESSOR
-   #:ty-predicate-location              ; ACCESSOR
    #:ty-predicate-list                  ; TYPE
    #:qualified-ty                       ; STRUCT
    #:make-qualified-ty                  ; CONSTRUCTOR
    #:qualified-ty-predicates            ; ACCESSOR
    #:qualified-ty-type                  ; ACCESSOR
-   #:qualified-ty-location              ; ACCESSOR
    #:qualified-ty-list                  ; TYPE
    #:parse-qualified-type               ; FUNCTION
    #:parse-type                         ; FUNCTION

diff --git a/src/typechecker/parse-type.lisp b/src/typechecker/parse-type.lisp
@@ -158,7 +158,7 @@
     (let* ((tvar (partial-type-env-lookup-var
                   env
                   (parser:tyvar-name type)
-                  (parser:ty-location type)))
+                  type))
            (kvar (tc:kind-of tvar)))
 
       (setf kvar (tc:apply-ksubstitution ksubs kvar))

diff --git a/src/typechecker/partial-type-env.lisp b/src/typechecker/partial-type-env.lisp
@@ -43,7 +43,6 @@
 (defun partial-type-env-lookup-var (env var source)
   (declare (type partial-type-env env)
            (type symbol var)
-           (type source:location source)
            (values tc:tyvar))
   (let ((ty (gethash var (partial-type-env-ty-table env))))
     (unless ty