Code

Next version!#732

Code

Merged

hishamhm merged 224 commits intomasterteal-language/tl:masterfrom nextteal-language/tl:nextCopy head branch name to clipboardOct 7, 2024

+20,796-13,591

Commits

Commits on Aug 31, 2024

• make type system more nominal, except for unions

  Show description for 58701af
  hishamhm

  committed
  58701af

• don't infer table literal as the first table type of a union

  Show description for 79c9b09
  hishamhm

  committed
  79c9b09

• macroexp: initial commit

  hishamhm

  committed
  c46dee5

• macroexp: type check expression body

  hishamhm

  committed
  d36733c

• macroexp: check that arguments are used only once

  hishamhm

  committed
  800cc79

• __is: mark as a valid metamethod

  hishamhm

  committed
  8d11028

• __is: accept unions over multiple tables that declare __is metamethod

  Show description for 11acc34
  hishamhm

  committed
  11acc34

• __is: add macroexp tests for is operator

  hishamhm

  committed
  7decf46

• accept indexing a union when index is the same is all entries

  hishamhm

  committed
  e3bf9fd

• refactor: use __is and macroexps in Fact

  hishamhm

  committed
  bf791d1

• refactor: use Where union, rename error functions

  hishamhm

  committed
  a40d062

• add magic type @self

  hishamhm

  committed
  621a3f0

• interfaces: add "interface" syntax

  hishamhm

  committed
  db02a91

• interfaces: add "is <interface_list>" to record syntax

  Show description for d34d144
  hishamhm

  committed
  d34d144

• interfaces: is_record_type

  hishamhm

  committed
  0b494bf

• interfaces: implement show_type

  hishamhm

  committed
  8f20b6e

• interfaces: add "where <expression>" syntax

  hishamhm

  committed
  559d6c2

• interfaces/records: move arrayrecord to is {...}

  Show description for 9726088
  hishamhm

  committed
  9726088

• refactor: use where clause in fact interfaces

  hishamhm

  committed
  27124cf

• remove arrayrecord: now defined as array interface in records

  hishamhm

  committed
  bdc937f

• interfaces: prevent assignment to interfaces and types

  Show description for bf75403
  hishamhm

  committed
  bf75403

• optional arity: add syntax for optional arity in function arguments

  hishamhm

  committed
  9a5aeb4

• optional arity: calculate minimum arity for a function

  hishamhm

  committed
  f034cf1

• optional arity: prepare error messages for optional arity

  hishamhm

  committed
  d62c0e1

• optional arity: adapt the compiler to specify optional arities

  hishamhm

  committed
  997d289

• optional arity: fix arguments in some tests

  hishamhm

  committed
  51a0be2

• optional arity: add some optionals

  hishamhm

  committed
  44bdf19

• optional arity: enable optional arity checks!

  hishamhm

  committed
  7f3fd80

• refactor: move method downgrade to type-checking time

  hishamhm

  committed
  3583627

• refactor: assert_is_a uses Where, not Node

  hishamhm

  committed
  3b25cdb

• remove "tl build"

  hishamhm

  committed
  3a81bd0

• remove node.type

  Show description for 4896aee
  hishamhm

  committed
  4896aee

• add node.debug_type for debugging only

  hishamhm

  committed
  5658b9a

• refactor type relation functions is_a and same_type

  hishamhm

  committed
  c54e4f5

• remove "nestedtype"

  Show description for 8a49055
  hishamhm

  committed
  8a49055

• no need to clear tk when uniting flattening constants

  hishamhm

  committed
  988e45c

• avoid setting (or updating!) typename directly

  Show description for fe33c75
  hishamhm

  committed
  fe33c75

• interfaces: fix error location

  hishamhm

  committed
  be6a19e

• macroexp: require return in statement

  hishamhm

  committed
  8aaf3de

• fix: define typeargs in function definition for recursion

  hishamhm

  committed
  94a8368

• local macroexp: new statement

  hishamhm

  committed
  5aebc64

• macroexp: adjust yend

  hishamhm

  committed
  b55294f

• remove node.rtype

  hishamhm

  committed
  180394b

• improve ipairs error message

  hishamhm

  committed
  80e41bd

• be more careful with typeid when shallow-copying types

  hishamhm

  committed
  b428197

• refactor: flatten tuple

  hishamhm

  committed
  660f741

• abstract checks for macroexp and interfaces

  Show description for f651782
  hishamhm

  committed
  f651782

• fixup use macroexp

  hishamhm

  committed
  e3a22d8

• refactor: reduce confusion in Type instances

  Show description for 2780503
  hishamhm

  committed
  2780503

• tl types: produce types for for-in variables

  hishamhm

  committed
  305ef38

• visit_type: minor refactor

  hishamhm

  committed
  0f8311c

• interfaces: expand field list

  hishamhm

  committed
  d9117f0

• interfaces: subtype checking

  hishamhm

  committed
  da234d5

• interface constraints in type arguments

  hishamhm

  committed
  f7ac7de

• match record keys in constrained type variables

  hishamhm

  committed
  f5ea5e5

• arg_check: explicit variance rules

  hishamhm

  committed
  179e669

• wip subtype interface rework

  hishamhm

  committed
  9e99670

• refactor: display_typevar

  hishamhm

  committed
  a357282

• resolve_interface_type

  hishamhm

  committed
  2dbdefa

• EnumType: begin use interface subtyping!

  hishamhm

  committed
  5c0f475

• narrow interfaces on assignment

  hishamhm

  committed
  7d9434a

• refactor: simplify interface_type to constraint

  hishamhm

  committed
  69a5393

• do not resolve constraint too early

  hishamhm

  committed
  f0ad383

• array: rename constant types to consttypes

  hishamhm

  committed
  45d20e9

• minor tweaks

  hishamhm

  committed
  0fbb2d7

• FunctionType, PolyType, UnionType, TupleTableType

  hishamhm

  committed
  0428560

• EmptyTableType, UnresolvedEmptyTableValueType

  hishamhm

  committed
  318c7b7

• MapType (includes fix in expand_type)

  hishamhm

  committed
  30650c3

• TypeVarType, TypeArgType, UnresolvedTypeArgType, UnresolvableTypeArgType

  hishamhm

  committed
  b6534e5

• subtype-match a typearg using its constraint

  hishamhm

  committed
  36e8ea3

• more efficient nominal check

  hishamhm

  committed
  c54a112

• TupleType, InvalidType

  hishamhm

  committed
  0954829

• simplify is_total check a bit

  Show description for af519c6
  hishamhm

  committed
  af519c6

• remove bad_nominal type, just use invalid

  hishamhm

  committed
  5768abf

• refactor: move show_fields out

  hishamhm

  committed
  fd02195

• parse_newtype: preparatory refactor

  hishamhm

  committed
  cc9c029

• refactor: declname and is_alias_node

  Show description for f556501
  hishamhm

  committed
  f556501

• add typealias type, split from typetype

  hishamhm

  committed
  9845b79

• remove Node.is_alias_node

  hishamhm

  committed
  19a3a04

• NominalType, InterfaceType, RecordType, ArrayType

  hishamhm

  committed
  30739c3

• UnresolvedType

  hishamhm

  committed
  94059b9

• LiteralTableItemType

  hishamhm

  committed
  476573b

• simplify function argument traversal

  hishamhm

  committed
  25e667e

• TypeAliasType

  hishamhm

  committed
  0938c21

• TypeDeclType

  hishamhm

  committed
  4293ee1

• StringType

  hishamhm

  committed
  7031282

• use interface subtyping for Fact

  hishamhm

  committed
  69f7a4b

• remove is_self from Type

  hishamhm

  committed
  55be243

• fix: may add meta_fields when expanding interface

  hishamhm

  committed
  b2fe2c9

• compute min_arity during parsing, not type checking

  hishamhm

  committed
  fd7538f

• tl.new_env: simpler, more extensible API

  hishamhm

  committed
  20fa3d8

• tl: use new_env

  hishamhm

  committed
  59e5fe1

• language flag: feat-arity=on/off

  Show description for 94cf23c
  hishamhm

  committed
  94cf23c

• standard library definition written in Teal

  hishamhm

  committed
  a5e1415

• fix select signature

  

  fperrad

  authored and

  hishamhm

  committed
  8f8408e

• Makefile: allow testing with different interpreter values

  Show description for 93126f4
  hishamhm

  committed
  93126f4

• typecodes: drop mask entries

  Show description for aed4035
  hishamhm

  committed
  aed4035

• TypeReporter and TypeCollector objects

  hishamhm

  committed
  c17be97

• Where: make it an interface

  hishamhm

  committed
  e7a1966

• Type: remove xend and yend

  hishamhm

  committed
  ea7d841

• fix: resolves 'or' to the larger type

  hishamhm

  committed
  cbbb8f1

• refactor: use to_structural to resolve nominals

  Show description for d79e47f
  hishamhm

  committed
  d79e47f

• this block is no longer needed

  hishamhm

  committed
  4487f80

• show typeargs when displaying record names

  hishamhm

  committed
  84c5b8d

• more integer in stdlib signatures

  Show description for 867a659
  

  fperrad

  and

  hishamhm

  committed
  867a659

• standard library: add missing entries

  hishamhm

  committed
  123635b

• _G: reserve a typeid

  hishamhm

  committed
  25f64b5

• fix typealias forwarding logic

  hishamhm

  committed
  7ecb0bc

• union_type: nominals should be already resolved here

  hishamhm

  committed
  946f2b7

• drop validate_union, just use is_valid_union

  hishamhm

  committed
  775cc2a

• unite: removing duplicates via t.found should be enough

  Show description for bba12c4
  hishamhm

  committed
  bba12c4

• refactor: simplify signature of type_check_function_call a bit

  hishamhm

  committed
  c2dc259

• move module_name logic out of type_check

  Show description for 5a6fb5f
  hishamhm

  committed
  5a6fb5f

• all prefixed errors have known locations

  hishamhm

  committed
  52aa5f6

• attribute <total> now can only apply to literal tables

  hishamhm

  committed
  8793fe5

• interfaces: actually check interfaces!

  hishamhm

  committed
  c6b0302

• big code reorganization: TypeChecker record

  Show description for 0d3c682
  hishamhm

  committed
  0d3c682

• fix: check if for iterator does not return values

  Show description for 4ead134
  hishamhm

  committed
  4ead134

• fix: lax arity of returns in function literals

  Show description for 30515ef
  hishamhm

  committed
  30515ef

• fix: let lax mode perform emptytable key-value inference as normal

  Show description for 9701800
  hishamhm

  committed
  9701800

• fix 'where'/macroexp behavior with type arguments

  hishamhm

  committed
  705b61e

• interfaces: fix collect_interfaces

  hishamhm

  committed
  3fb26dc

• total: do not consider a record function to be a missing field

  Show description for 5bb3716
  hishamhm

  committed
  5bb3716

• total: ignore metamethods when checking for record totality

  Show description for 823a893
  hishamhm

  committed
  823a893

• Accept __lt and __le for > and >= operators.

  Show description for da75aa2
  hishamhm

  committed
  da75aa2

• fix: can use nested records in global 'table' record

  hishamhm

  committed
  73f104f

• fix: do not crash when comparing type defined with 'function'

  Show description for 90f2a1e
  hishamhm

  committed
  90f2a1e

• accept 'or' as a boolean in if/while/repeat expressions

  hishamhm

  committed
  8d6b589

• we can now reexport nested types

  Show description for e85ac75
  hishamhm

  committed
  e85ac75

• add the code output to the io.open function (#769)

  Show description for 15c1bff
  

  V1K1NGbg

  authored and

  hishamhm

  committed
  15c1bff

• fix regression in bivariant arg check

  hishamhm

  committed
  9326efd

• can now apply '#' on enum values

  hishamhm

  committed
  d121f2e

• API: tl.pretty_print_ast third argument is optional

  hishamhm

  committed
  222b8c1

• tests: add regression test to function call check crash

  Show description for a1dcf79
  

  hishamhm

  and

  V1K1NGbg

  committed
  a1dcf79

• standard library: special-case tuple support for table.unpack

  Show description for 3995c24
  hishamhm

  committed
  3995c24

• docs/tutorial.md: fix typo

  Show description for 91afcc8
  

  hishamhm

  and

  darrenjennings

  committed
  91afcc8

• tl types: do not crash if given input file doesn't exist

  hishamhm

  committed
  d0856b5

• local type require() accepts dot notation for nested record

  Show description for 5f85333
  hishamhm

  committed
  5f85333

• fix: delay resolution of type arguments

  Show description for 448fe84
  hishamhm

  committed
  448fe84

• stricter checks for shadowing of type arguments

  Show description for 9736418
  hishamhm

  committed
  9736418

• refactor: rename "declaration" narrowing to "localizing"

  hishamhm

  committed
  49c2f4e

• fix: localizing a record does not make the new local a type

  Show description for ccb5081
  hishamhm

  committed
  ccb5081

• tests: add regression test for #749

  hishamhm

  committed
  7ae8974

• only check against shadowing base types when declaring types

  hishamhm

  committed
  877e785

• interfaces: enforce them to be abstract

  Show description for 71cc244
  hishamhm

  committed
  71cc244

• fix: do not close nested types too early

  Show description for 93c83ba
  hishamhm

  committed
  93c83ba

• fix: avoid crash in is check

  Show description for 1d2dffd
  hishamhm

  committed
  1d2dffd

• fix: string equality check

  Show description for 06d6778
  hishamhm

  committed
  06d6778

• use unknown only in lax mode

  hishamhm

  committed
  8b0fe09

• minor tweak: no need to copy non-method functions

  hishamhm

  committed
  7cbedd2

• Type: add __tostring metamethod

  hishamhm

  committed
  0478bd4

• no need to type_at(a_typedecl())

  hishamhm

  committed
  f8d5665

• begin cleaning up generics in type declarations

  hishamhm

  committed
  bbe6c07

• internal debugging improvements: identify named types

  hishamhm

  committed
  a12249f

• fix propagation of type arguments

  Show description for f84fede
  hishamhm

  committed
  f84fede

• self: introduce self type

  hishamhm

  committed
  4a829b0

• self: use self type

  hishamhm

  committed
  b6d5d7b

• self: remove magic behavior for nominal "@self"

  hishamhm

  committed
  30e603a

• tests: add test case using self

  Show description for 1b27f3e
  hishamhm

  committed
  1b27f3e

• fix: self heuristic: ensure that non-nominal types are detected

  Show description for 333b9e8
  hishamhm

  committed
  333b9e8

• fix: do not crash when failing to read input

  hishamhm

  committed
  a4a780f

• self: fix: accept self type in function signature as a method indicator

  hishamhm

  committed
  8c2d4c6

• tests: add regression test for #752.

  Show description for ee5c8fc
  hishamhm

  committed
  ee5c8fc

• tests: split local and local type tests

  hishamhm

  committed
  2ff0df4

• tests: add regression test for #754

  hishamhm

  committed
  6430aaa

• fix: tl types: never trigger ICE on bad files

  Show description for 234ee2a
  hishamhm

  committed
  234ee2a

• fix: do not infer type variables as boolean in boolean contexts

  Show description for d12f534
  hishamhm

  committed
  d12f534

• generate inline compat code for table.pack

  hishamhm

  committed
  b8b5bb8

• pragma: introduce --#pragma syntax

  hishamhm

  committed
  7a6a19f

• pragma: arity on/off

  hishamhm

  committed
  1b12d76

Commits on Sep 2, 2024

• docs: pragmas (#798)

  Show description for e5ee053
  

  hishamhm

  and

  Tieske

  authored
  e5ee053

• docs: explain type aliasing (#799)

  hishamhm

  authored
  6719333

• fix: resolve type aliases as early as possible

  hishamhm

  committed
  a84ac18

• lexer: # is an operator

  hishamhm

  committed
  dc15bc4

• optional arity: lax arg check in functions with feat-arity off

  Show description for 1dd8f9e
  hishamhm

  committed
  1dd8f9e

• fix: do not generate Lua table for interfaces

  hishamhm

  committed
  e49ac8b

• pragma: ignores other --# lines

  hishamhm

  committed
  d04fa0f

• lexer: simplify TokenKind

  hishamhm

  committed
  3cc78b6

Commits on Sep 3, 2024

• metatables: check metamethod types in metatable definition

  Show description for fcdd861
  hishamhm

  committed
  fcdd861

• compiler debugging: TL_DEBUG_FACTS environment variable

  hishamhm

  committed
  fe86b72

• generics: begin generalizing code with HasTypeArgs

  hishamhm

  committed
  ed93fb3

• facts: avoid generating dummy And facts

  hishamhm

  committed
  86b01a7

Commits on Sep 4, 2024

• parser: we don't need enum_item

  hishamhm

  committed
  6861032

• parser: refactor special behaviors in type declarations

  hishamhm

  committed
  311fcd1

• parser: minor refactor

  hishamhm

  committed
  6d6d5d4

• parser: refactor setting declname

  hishamhm

  committed
  f5a1d51

• parser: simplify parse_type_constructor signature

  hishamhm

  committed
  73faece

• parser: refactor parse_type_body

  hishamhm

  committed
  9a89cf0

• minor cleanup

  hishamhm

  committed
  98044e3

• refactor: remove TypeAliasType (unify with TypeDeclType)

  Show description for 8f89ec7
  hishamhm

  committed
  8f89ec7

• API: expose Teal 0.15.x-like API for backwards compatibility

  hishamhm

  committed
  64de559

• API: expose Token record and Node abstract interface

  hishamhm

  committed
  65a904e

Commits on Sep 5, 2024

• funcall: minor simplification

  hishamhm

  committed
  775ceda

Commits on Sep 6, 2024

• typevar_resolver: drop unused argument

  hishamhm

  committed
  ae05702

• funcall: narrow type of check_call

  hishamhm

  committed
  34193b7

• funcall: feat_lax=on implies feat_arity=off

  hishamhm

  committed
  96baa3d

• funcall: split logic for FunctionType and PolyType

  hishamhm

  committed
  bcaac58

• infer_at: minor cleanup

  hishamhm

  committed
  033681e

Commits on Sep 8, 2024

• find_type: narrow return type

  hishamhm

  committed
  373e06d

Commits on Sep 9, 2024

• refactor: ensure_not_method

  hishamhm

  committed
  b783313

• refactor: are_same_nominals

  hishamhm

  committed
  cb33692

• check_poly_call: simplify use

  hishamhm

  committed
  7a117b9

Commits on Sep 10, 2024

• refactor: move {} inference out of assert_is_a, into is_a

  hishamhm

  committed
  f157d84

• tests: add #cli tag in spec/cli tests

  Show description for 9e7c645
  hishamhm

  committed
  9e7c645

• pending test: detect mismatch in function generics

  Show description for ece9e50
  hishamhm

  committed
  ece9e50

• refactor: store_field_in_record

  hishamhm

  committed
  1c3ba3d

Commits on Sep 18, 2024

• assert: ignores additional arguments

  hishamhm

  committed
  8f63a86

• fix: do not infer typevars on failed poly match

  Show description for f0d714e
  hishamhm

  committed
  f0d714e

• string.gsub: accept functions with no returns

  Show description for cfc986c
  hishamhm

  committed
  cfc986c

• improve inference of nested emptytables

  Show description for ccd2417
  hishamhm

  committed
  ccd2417

Commits on Sep 19, 2024

• return: module returns the nominal's type, including typeargs

  Show description for 58ebd4b
  hishamhm

  committed
  58ebd4b

• fix: can assign an emptytable to an emptytable

  Show description for af5aed5
  hishamhm

  committed
  af5aed5

• types: fix reporting of if block end position

  hishamhm

  committed
  d8965fa

• tests: add testcase for tl types -p if-block

  hishamhm

  committed
  b618edb

Commits on Sep 21, 2024

• types: reports record functions in record field list

  Show description for 6117c8c
  hishamhm

  committed
  6117c8c

Commits on Oct 3, 2024

• fix: do not corrupt record type object when assigning a method

  hishamhm

  committed
  78c08f9

• accept 'is userdata' syntax in records

  hishamhm

  committed
  74a44d3

Commits on Oct 7, 2024

• fix: macroexp can resolve self for methods

  hishamhm

  committed
  d05df56

• fix: macroexp resolve metamethods correctly

  hishamhm

  committed
  737a987

• types: reports reference of a nominal type

  hishamhm

  committed
  ab9bf51

• docs: macro expressions

  hishamhm

  committed
  2c5219f

• docs: updates for next release

  hishamhm

  committed
  4fa35a4

• docs: self type

  hishamhm

  committed
  e289caf

• docs: prepare changelog for Teal 0.24.0

  hishamhm

  committed
  261dacd