Type: remove xend and yend

teal-language · Jan 10, 2024 · 888c9d3 · 888c9d3
1 parent 47bed03
commit 888c9d3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 20 deletions.
diff --git a/tl.lua b/tl.lua
@@ -1783,12 +1783,6 @@ local table_types = {
 
 
 
-
-
-
-
-
-
 
 
 
@@ -6813,8 +6807,6 @@ tl.type_check = function(ast, opts)
          copy.filename = t.filename
          copy.x = t.x
          copy.y = t.y
-         copy.yend = t.yend
-         copy.xend = t.xend
 
          if t.typename == "array" then
             assert(copy.typename == "array")

diff --git a/tl.tl b/tl.tl
@@ -1497,16 +1497,10 @@ local interface Type
    is Where
    where self.typename
 
-   typename: TypeName   -- discriminator
-   typeid: integer      -- unique identifier
-
-   yend: integer
-   xend: integer
-
-   inferred_at: Where
-
-   -- Lua compatibilty
-   needs_compat: boolean
+   typename: TypeName    -- discriminator
+   typeid: integer       -- unique identifier
+   inferred_at: Where    -- for error messages
+   needs_compat: boolean -- for Lua compatibilty
 end
 
 local record StringType
@@ -6813,8 +6807,6 @@ tl.type_check = function(ast: Node, opts: TypeCheckOptions): Result, string
          copy.filename = t.filename
          copy.x = t.x
          copy.y = t.y
-         copy.yend = t.yend
-         copy.xend = t.xend
 
          if t is ArrayType then
             assert(copy is ArrayType)