From 888c9d3defd699dc738177140f2a14ba259ffd19 Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Wed, 10 Jan 2024 01:37:17 -0300 Subject: [PATCH] Type: remove xend and yend --- tl.lua | 8 -------- tl.tl | 16 ++++------------ 2 files changed, 4 insertions(+), 20 deletions(-) diff --git a/tl.lua b/tl.lua index 45d24b57..5fe4416d 100644 --- 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 index dac1a75c..c80c3da8 100644 --- 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)