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

  Copy full SHA for 58701af

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

  Show description for 79c9b09
  hishamhm

  committed
  79c9b09

  Copy full SHA for 79c9b09

• macroexp: initial commit

  hishamhm

  committed
  c46dee5

  Copy full SHA for c46dee5

• macroexp: type check expression body

  hishamhm

  committed
  d36733c

  Copy full SHA for d36733c

• macroexp: check that arguments are used only once

  hishamhm

  committed
  800cc79

  Copy full SHA for 800cc79

• __is: mark as a valid metamethod

  hishamhm

  committed
  8d11028

  Copy full SHA for 8d11028

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

  Show description for 11acc34
  hishamhm

  committed
  11acc34

  Copy full SHA for 11acc34

• __is: add macroexp tests for is operator

  hishamhm

  committed
  7decf46

  Copy full SHA for 7decf46

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

  hishamhm

  committed
  e3bf9fd

  Copy full SHA for e3bf9fd

• refactor: use __is and macroexps in Fact

  hishamhm

  committed
  bf791d1

  Copy full SHA for bf791d1

• refactor: use Where union, rename error functions

  hishamhm

  committed
  a40d062

  Copy full SHA for a40d062

• add magic type @self

  hishamhm

  committed
  621a3f0

  Copy full SHA for 621a3f0

• interfaces: add "interface" syntax

  hishamhm

  committed
  db02a91

  Copy full SHA for db02a91

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

  Show description for d34d144
  hishamhm

  committed
  d34d144

  Copy full SHA for d34d144

• interfaces: is_record_type

  hishamhm

  committed
  0b494bf

  Copy full SHA for 0b494bf

• interfaces: implement show_type

  hishamhm

  committed
  8f20b6e

  Copy full SHA for 8f20b6e

• interfaces: add "where <expression>" syntax

  hishamhm

  committed
  559d6c2

  Copy full SHA for 559d6c2

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

  Show description for 9726088
  hishamhm

  committed
  9726088

  Copy full SHA for 9726088

• refactor: use where clause in fact interfaces

  hishamhm

  committed
  27124cf

  Copy full SHA for 27124cf

• remove arrayrecord: now defined as array interface in records

  hishamhm

  committed
  bdc937f

  Copy full SHA for bdc937f

• interfaces: prevent assignment to interfaces and types

  Show description for bf75403
  hishamhm

  committed
  bf75403

  Copy full SHA for bf75403

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

  hishamhm

  committed
  9a5aeb4

  Copy full SHA for 9a5aeb4

• optional arity: calculate minimum arity for a function

  hishamhm

  committed
  f034cf1

  Copy full SHA for f034cf1

• optional arity: prepare error messages for optional arity

  hishamhm

  committed
  d62c0e1

  Copy full SHA for d62c0e1

• optional arity: adapt the compiler to specify optional arities

  hishamhm

  committed
  997d289

  Copy full SHA for 997d289

• optional arity: fix arguments in some tests

  hishamhm

  committed
  51a0be2

  Copy full SHA for 51a0be2

• optional arity: add some optionals

  hishamhm

  committed
  44bdf19

  Copy full SHA for 44bdf19

• optional arity: enable optional arity checks!

  hishamhm

  committed
  7f3fd80

  Copy full SHA for 7f3fd80

• refactor: move method downgrade to type-checking time

  hishamhm

  committed
  3583627

  Copy full SHA for 3583627

• refactor: assert_is_a uses Where, not Node

  hishamhm

  committed
  3b25cdb

  Copy full SHA for 3b25cdb

• remove "tl build"

  hishamhm

  committed
  3a81bd0

  Copy full SHA for 3a81bd0

• remove node.type

  Show description for 4896aee
  hishamhm

  committed
  4896aee

  Copy full SHA for 4896aee

• add node.debug_type for debugging only

  hishamhm

  committed
  5658b9a

  Copy full SHA for 5658b9a

• refactor type relation functions is_a and same_type

  hishamhm

  committed
  c54e4f5

  Copy full SHA for c54e4f5

• remove "nestedtype"

  Show description for 8a49055
  hishamhm

  committed
  8a49055

  Copy full SHA for 8a49055

• no need to clear tk when uniting flattening constants

  hishamhm

  committed
  988e45c

  Copy full SHA for 988e45c

• avoid setting (or updating!) typename directly

  Show description for fe33c75
  hishamhm

  committed
  fe33c75

  Copy full SHA for fe33c75

• interfaces: fix error location

  hishamhm

  committed
  be6a19e

  Copy full SHA for be6a19e

• macroexp: require return in statement

  hishamhm

  committed
  8aaf3de

  Copy full SHA for 8aaf3de

• fix: define typeargs in function definition for recursion

  hishamhm

  committed
  94a8368

  Copy full SHA for 94a8368

• local macroexp: new statement

  hishamhm

  committed
  5aebc64

  Copy full SHA for 5aebc64

• macroexp: adjust yend

  hishamhm

  committed
  b55294f

  Copy full SHA for b55294f

• remove node.rtype

  hishamhm

  committed
  180394b

  Copy full SHA for 180394b

• improve ipairs error message

  hishamhm

  committed
  80e41bd

  Copy full SHA for 80e41bd

• be more careful with typeid when shallow-copying types

  hishamhm

  committed
  b428197

  Copy full SHA for b428197

• refactor: flatten tuple

  hishamhm

  committed
  660f741

  Copy full SHA for 660f741

• abstract checks for macroexp and interfaces

  Show description for f651782
  hishamhm

  committed
  f651782

  Copy full SHA for f651782

• fixup use macroexp

  hishamhm

  committed
  e3a22d8

  Copy full SHA for e3a22d8

• refactor: reduce confusion in Type instances

  Show description for 2780503
  hishamhm

  committed
  2780503

  Copy full SHA for 2780503

• tl types: produce types for for-in variables

  hishamhm

  committed
  305ef38

  Copy full SHA for 305ef38

• visit_type: minor refactor

  hishamhm

  committed
  0f8311c

  Copy full SHA for 0f8311c

• interfaces: expand field list

  hishamhm

  committed
  d9117f0

  Copy full SHA for d9117f0

• interfaces: subtype checking

  hishamhm

  committed
  da234d5

  Copy full SHA for da234d5

• interface constraints in type arguments

  hishamhm

  committed
  f7ac7de

  Copy full SHA for f7ac7de

• match record keys in constrained type variables

  hishamhm

  committed
  f5ea5e5

  Copy full SHA for f5ea5e5

• arg_check: explicit variance rules

  hishamhm

  committed
  179e669

  Copy full SHA for 179e669

• wip subtype interface rework

  hishamhm

  committed
  9e99670

  Copy full SHA for 9e99670

• refactor: display_typevar

  hishamhm

  committed
  a357282

  Copy full SHA for a357282

• resolve_interface_type

  hishamhm

  committed
  2dbdefa

  Copy full SHA for 2dbdefa

• EnumType: begin use interface subtyping!

  hishamhm

  committed
  5c0f475

  Copy full SHA for 5c0f475

• narrow interfaces on assignment

  hishamhm

  committed
  7d9434a

  Copy full SHA for 7d9434a

• refactor: simplify interface_type to constraint

  hishamhm

  committed
  69a5393

  Copy full SHA for 69a5393

• do not resolve constraint too early

  hishamhm

  committed
  f0ad383

  Copy full SHA for f0ad383

• array: rename constant types to consttypes

  hishamhm

  committed
  45d20e9

  Copy full SHA for 45d20e9

• minor tweaks

  hishamhm

  committed
  0fbb2d7

  Copy full SHA for 0fbb2d7

• FunctionType, PolyType, UnionType, TupleTableType

  hishamhm

  committed
  0428560

  Copy full SHA for 0428560

• EmptyTableType, UnresolvedEmptyTableValueType

  hishamhm

  committed
  318c7b7

  Copy full SHA for 318c7b7

• MapType (includes fix in expand_type)

  hishamhm

  committed
  30650c3

  Copy full SHA for 30650c3

• TypeVarType, TypeArgType, UnresolvedTypeArgType, UnresolvableTypeArgType

  hishamhm

  committed
  b6534e5

  Copy full SHA for b6534e5

• subtype-match a typearg using its constraint

  hishamhm

  committed
  36e8ea3

  Copy full SHA for 36e8ea3

• more efficient nominal check

  hishamhm

  committed
  c54a112

  Copy full SHA for c54a112

• TupleType, InvalidType

  hishamhm

  committed
  0954829

  Copy full SHA for 0954829

• simplify is_total check a bit

  Show description for af519c6
  hishamhm

  committed
  af519c6

  Copy full SHA for af519c6

• remove bad_nominal type, just use invalid

  hishamhm

  committed
  5768abf

  Copy full SHA for 5768abf

• refactor: move show_fields out

  hishamhm

  committed
  fd02195

  Copy full SHA for fd02195

• parse_newtype: preparatory refactor

  hishamhm

  committed
  cc9c029

  Copy full SHA for cc9c029

• refactor: declname and is_alias_node

  Show description for f556501
  hishamhm

  committed
  f556501

  Copy full SHA for f556501

• add typealias type, split from typetype

  hishamhm

  committed
  9845b79

  Copy full SHA for 9845b79

• remove Node.is_alias_node

  hishamhm

  committed
  19a3a04

  Copy full SHA for 19a3a04

• NominalType, InterfaceType, RecordType, ArrayType

  hishamhm

  committed
  30739c3

  Copy full SHA for 30739c3

• UnresolvedType

  hishamhm

  committed
  94059b9

  Copy full SHA for 94059b9

• LiteralTableItemType

  hishamhm

  committed
  476573b

  Copy full SHA for 476573b

• simplify function argument traversal

  hishamhm

  committed
  25e667e

  Copy full SHA for 25e667e

• TypeAliasType

  hishamhm

  committed
  0938c21

  Copy full SHA for 0938c21

• TypeDeclType

  hishamhm

  committed
  4293ee1

  Copy full SHA for 4293ee1

• StringType

  hishamhm

  committed
  7031282

  Copy full SHA for 7031282

• use interface subtyping for Fact

  hishamhm

  committed
  69f7a4b

  Copy full SHA for 69f7a4b

• remove is_self from Type

  hishamhm

  committed
  55be243

  Copy full SHA for 55be243

• fix: may add meta_fields when expanding interface

  hishamhm

  committed
  b2fe2c9

  Copy full SHA for b2fe2c9

• compute min_arity during parsing, not type checking

  hishamhm

  committed
  fd7538f

  Copy full SHA for fd7538f

• tl.new_env: simpler, more extensible API

  hishamhm

  committed
  20fa3d8

  Copy full SHA for 20fa3d8

• tl: use new_env

  hishamhm

  committed
  59e5fe1

  Copy full SHA for 59e5fe1

• language flag: feat-arity=on/off

  Show description for 94cf23c
  hishamhm

  committed
  94cf23c

  Copy full SHA for 94cf23c

• standard library definition written in Teal

  hishamhm

  committed
  a5e1415

  Copy full SHA for a5e1415

• fix select signature

  

  fperrad

  authored and

  hishamhm

  committed
  8f8408e

  Copy full SHA for 8f8408e

• Makefile: allow testing with different interpreter values

  Show description for 93126f4
  hishamhm

  committed
  93126f4

  Copy full SHA for 93126f4

• typecodes: drop mask entries

  Show description for aed4035
  hishamhm

  committed
  aed4035

  Copy full SHA for aed4035

• TypeReporter and TypeCollector objects

  hishamhm

  committed
  c17be97

  Copy full SHA for c17be97

• Where: make it an interface

  hishamhm

  committed
  e7a1966

  Copy full SHA for e7a1966

• Type: remove xend and yend

  hishamhm

  committed
  ea7d841

  Copy full SHA for ea7d841

• fix: resolves 'or' to the larger type

  hishamhm

  committed
  cbbb8f1

  Copy full SHA for cbbb8f1

• refactor: use to_structural to resolve nominals

  Show description for d79e47f
  hishamhm

  committed
  d79e47f

  Copy full SHA for d79e47f

• this block is no longer needed

  hishamhm

  committed
  4487f80

  Copy full SHA for 4487f80

• show typeargs when displaying record names

  hishamhm

  committed
  84c5b8d

  Copy full SHA for 84c5b8d

• more integer in stdlib signatures

  Show description for 867a659
  

  fperrad

  and

  hishamhm

  committed
  867a659

  Copy full SHA for 867a659

• standard library: add missing entries

  hishamhm

  committed
  123635b

  Copy full SHA for 123635b

• _G: reserve a typeid

  hishamhm

  committed
  25f64b5

  Copy full SHA for 25f64b5

• fix typealias forwarding logic

  hishamhm

  committed
  7ecb0bc

  Copy full SHA for 7ecb0bc

• union_type: nominals should be already resolved here

  hishamhm

  committed
  946f2b7

  Copy full SHA for 946f2b7

• drop validate_union, just use is_valid_union

  hishamhm

  committed
  775cc2a

  Copy full SHA for 775cc2a

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

  Show description for bba12c4
  hishamhm

  committed
  bba12c4

  Copy full SHA for bba12c4

• refactor: simplify signature of type_check_function_call a bit

  hishamhm

  committed
  c2dc259

  Copy full SHA for c2dc259

• move module_name logic out of type_check

  Show description for 5a6fb5f
  hishamhm

  committed
  5a6fb5f

  Copy full SHA for 5a6fb5f

• all prefixed errors have known locations

  hishamhm

  committed
  52aa5f6

  Copy full SHA for 52aa5f6

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

  hishamhm

  committed
  8793fe5

  Copy full SHA for 8793fe5

• interfaces: actually check interfaces!

  hishamhm

  committed
  c6b0302

  Copy full SHA for c6b0302

• big code reorganization: TypeChecker record

  Show description for 0d3c682
  hishamhm

  committed
  0d3c682

  Copy full SHA for 0d3c682

• fix: check if for iterator does not return values

  Show description for 4ead134
  hishamhm

  committed
  4ead134

  Copy full SHA for 4ead134

• fix: lax arity of returns in function literals

  Show description for 30515ef
  hishamhm

  committed
  30515ef

  Copy full SHA for 30515ef

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

  Show description for 9701800
  hishamhm

  committed
  9701800

  Copy full SHA for 9701800

• fix 'where'/macroexp behavior with type arguments

  hishamhm

  committed
  705b61e

  Copy full SHA for 705b61e

• interfaces: fix collect_interfaces

  hishamhm

  committed
  3fb26dc

  Copy full SHA for 3fb26dc

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

  Show description for 5bb3716
  hishamhm

  committed
  5bb3716

  Copy full SHA for 5bb3716

• total: ignore metamethods when checking for record totality

  Show description for 823a893
  hishamhm

  committed
  823a893

  Copy full SHA for 823a893

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

  Show description for da75aa2
  hishamhm

  committed
  da75aa2

  Copy full SHA for da75aa2

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

  hishamhm

  committed
  73f104f

  Copy full SHA for 73f104f

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

  Show description for 90f2a1e
  hishamhm

  committed
  90f2a1e

  Copy full SHA for 90f2a1e

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

  hishamhm

  committed
  8d6b589

  Copy full SHA for 8d6b589

• we can now reexport nested types

  Show description for e85ac75
  hishamhm

  committed
  e85ac75

  Copy full SHA for e85ac75

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

  Show description for 15c1bff
  

  V1K1NGbg

  authored and

  hishamhm

  committed
  15c1bff

  Copy full SHA for 15c1bff

• fix regression in bivariant arg check

  hishamhm

  committed
  9326efd

  Copy full SHA for 9326efd

• can now apply '#' on enum values

  hishamhm

  committed
  d121f2e

  Copy full SHA for d121f2e

• API: tl.pretty_print_ast third argument is optional

  hishamhm

  committed
  222b8c1

  Copy full SHA for 222b8c1

• tests: add regression test to function call check crash

  Show description for a1dcf79
  

  hishamhm

  and

  V1K1NGbg

  committed
  a1dcf79

  Copy full SHA for a1dcf79

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

  Show description for 3995c24
  hishamhm

  committed
  3995c24

  Copy full SHA for 3995c24

• docs/tutorial.md: fix typo

  Show description for 91afcc8
  

  hishamhm

  and

  darrenjennings

  committed
  91afcc8

  Copy full SHA for 91afcc8

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

  hishamhm

  committed
  d0856b5

  Copy full SHA for d0856b5

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

  Show description for 5f85333
  hishamhm

  committed
  5f85333

  Copy full SHA for 5f85333

• fix: delay resolution of type arguments

  Show description for 448fe84
  hishamhm

  committed
  448fe84

  Copy full SHA for 448fe84

• stricter checks for shadowing of type arguments

  Show description for 9736418
  hishamhm

  committed
  9736418

  Copy full SHA for 9736418

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

  hishamhm

  committed
  49c2f4e

  Copy full SHA for 49c2f4e

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

  Show description for ccb5081
  hishamhm

  committed
  ccb5081

  Copy full SHA for ccb5081

• tests: add regression test for #749

  hishamhm

  committed
  7ae8974

  Copy full SHA for 7ae8974

• only check against shadowing base types when declaring types

  hishamhm

  committed
  877e785

  Copy full SHA for 877e785

• interfaces: enforce them to be abstract

  Show description for 71cc244
  hishamhm

  committed
  71cc244

  Copy full SHA for 71cc244

• fix: do not close nested types too early

  Show description for 93c83ba
  hishamhm

  committed
  93c83ba

  Copy full SHA for 93c83ba

• fix: avoid crash in is check

  Show description for 1d2dffd
  hishamhm

  committed
  1d2dffd

  Copy full SHA for 1d2dffd

• fix: string equality check

  Show description for 06d6778
  hishamhm

  committed
  06d6778

  Copy full SHA for 06d6778

• use unknown only in lax mode

  hishamhm

  committed
  8b0fe09

  Copy full SHA for 8b0fe09

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

  hishamhm

  committed
  7cbedd2

  Copy full SHA for 7cbedd2

• Type: add __tostring metamethod

  hishamhm

  committed
  0478bd4

  Copy full SHA for 0478bd4

• no need to type_at(a_typedecl())

  hishamhm

  committed
  f8d5665

  Copy full SHA for f8d5665

• begin cleaning up generics in type declarations

  hishamhm

  committed
  bbe6c07

  Copy full SHA for bbe6c07

• internal debugging improvements: identify named types

  hishamhm

  committed
  a12249f

  Copy full SHA for a12249f

• fix propagation of type arguments

  Show description for f84fede
  hishamhm

  committed
  f84fede

  Copy full SHA for f84fede

• self: introduce self type

  hishamhm

  committed
  4a829b0

  Copy full SHA for 4a829b0

• self: use self type

  hishamhm

  committed
  b6d5d7b

  Copy full SHA for b6d5d7b

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

  hishamhm

  committed
  30e603a

  Copy full SHA for 30e603a

• tests: add test case using self

  Show description for 1b27f3e
  hishamhm

  committed
  1b27f3e

  Copy full SHA for 1b27f3e

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

  Show description for 333b9e8
  hishamhm

  committed
  333b9e8

  Copy full SHA for 333b9e8

• fix: do not crash when failing to read input

  hishamhm

  committed
  a4a780f

  Copy full SHA for a4a780f

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

  hishamhm

  committed
  8c2d4c6

  Copy full SHA for 8c2d4c6

• tests: add regression test for #752.

  Show description for ee5c8fc
  hishamhm

  committed
  ee5c8fc

  Copy full SHA for ee5c8fc

• tests: split local and local type tests

  hishamhm

  committed
  2ff0df4

  Copy full SHA for 2ff0df4

• tests: add regression test for #754

  hishamhm

  committed
  6430aaa

  Copy full SHA for 6430aaa

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

  Show description for 234ee2a
  hishamhm

  committed
  234ee2a

  Copy full SHA for 234ee2a

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

  Show description for d12f534
  hishamhm

  committed
  d12f534

  Copy full SHA for d12f534

• generate inline compat code for table.pack

  hishamhm

  committed
  b8b5bb8

  Copy full SHA for b8b5bb8

• pragma: introduce --#pragma syntax

  hishamhm

  committed
  7a6a19f

  Copy full SHA for 7a6a19f

• pragma: arity on/off

  hishamhm

  committed
  1b12d76

  Copy full SHA for 1b12d76

Commits on Sep 2, 2024

• docs: pragmas (#798)

  Show description for e5ee053
  

  hishamhm

  and

  Tieske

  authored
  e5ee053

  Copy full SHA for e5ee053

• docs: explain type aliasing (#799)

  hishamhm

  authored
  6719333

  Copy full SHA for 6719333

• fix: resolve type aliases as early as possible

  hishamhm

  committed
  a84ac18

  Copy full SHA for a84ac18

• lexer: # is an operator

  hishamhm

  committed
  dc15bc4

  Copy full SHA for dc15bc4

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

  Show description for 1dd8f9e
  hishamhm

  committed
  1dd8f9e

  Copy full SHA for 1dd8f9e

• fix: do not generate Lua table for interfaces

  hishamhm

  committed
  e49ac8b

  Copy full SHA for e49ac8b

• pragma: ignores other --# lines

  hishamhm

  committed
  d04fa0f

  Copy full SHA for d04fa0f

• lexer: simplify TokenKind

  hishamhm

  committed
  3cc78b6

  Copy full SHA for 3cc78b6

Commits on Sep 3, 2024

• metatables: check metamethod types in metatable definition

  Show description for fcdd861
  hishamhm

  committed
  fcdd861

  Copy full SHA for fcdd861

• compiler debugging: TL_DEBUG_FACTS environment variable

  hishamhm

  committed
  fe86b72

  Copy full SHA for fe86b72

• generics: begin generalizing code with HasTypeArgs

  hishamhm

  committed
  ed93fb3

  Copy full SHA for ed93fb3

• facts: avoid generating dummy And facts

  hishamhm

  committed
  86b01a7

  Copy full SHA for 86b01a7

Commits on Sep 4, 2024

• parser: we don't need enum_item

  hishamhm

  committed
  6861032

  Copy full SHA for 6861032

• parser: refactor special behaviors in type declarations

  hishamhm

  committed
  311fcd1

  Copy full SHA for 311fcd1

• parser: minor refactor

  hishamhm

  committed
  6d6d5d4

  Copy full SHA for 6d6d5d4

• parser: refactor setting declname

  hishamhm

  committed
  f5a1d51

  Copy full SHA for f5a1d51

• parser: simplify parse_type_constructor signature

  hishamhm

  committed
  73faece

  Copy full SHA for 73faece

• parser: refactor parse_type_body

  hishamhm

  committed
  9a89cf0

  Copy full SHA for 9a89cf0

• minor cleanup

  hishamhm

  committed
  98044e3

  Copy full SHA for 98044e3

• refactor: remove TypeAliasType (unify with TypeDeclType)

  Show description for 8f89ec7
  hishamhm

  committed
  8f89ec7

  Copy full SHA for 8f89ec7

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

  hishamhm

  committed
  64de559

  Copy full SHA for 64de559

• API: expose Token record and Node abstract interface

  hishamhm

  committed
  65a904e

  Copy full SHA for 65a904e

Commits on Sep 5, 2024

• funcall: minor simplification

  hishamhm

  committed
  775ceda

  Copy full SHA for 775ceda

Commits on Sep 6, 2024

• typevar_resolver: drop unused argument

  hishamhm

  committed
  ae05702

  Copy full SHA for ae05702

• funcall: narrow type of check_call

  hishamhm

  committed
  34193b7

  Copy full SHA for 34193b7

• funcall: feat_lax=on implies feat_arity=off

  hishamhm

  committed
  96baa3d

  Copy full SHA for 96baa3d

• funcall: split logic for FunctionType and PolyType

  hishamhm

  committed
  bcaac58

  Copy full SHA for bcaac58

• infer_at: minor cleanup

  hishamhm

  committed
  033681e

  Copy full SHA for 033681e

Commits on Sep 8, 2024

• find_type: narrow return type

  hishamhm

  committed
  373e06d

  Copy full SHA for 373e06d

Commits on Sep 9, 2024

• refactor: ensure_not_method

  hishamhm

  committed
  b783313

  Copy full SHA for b783313

• refactor: are_same_nominals

  hishamhm

  committed
  cb33692

  Copy full SHA for cb33692

• check_poly_call: simplify use

  hishamhm

  committed
  7a117b9

  Copy full SHA for 7a117b9

Commits on Sep 10, 2024

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

  hishamhm

  committed
  f157d84

  Copy full SHA for f157d84

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

  Show description for 9e7c645
  hishamhm

  committed
  9e7c645

  Copy full SHA for 9e7c645

• pending test: detect mismatch in function generics

  Show description for ece9e50
  hishamhm

  committed
  ece9e50

  Copy full SHA for ece9e50

• refactor: store_field_in_record

  hishamhm

  committed
  1c3ba3d

  Copy full SHA for 1c3ba3d

Commits on Sep 18, 2024

• assert: ignores additional arguments

  hishamhm

  committed
  8f63a86

  Copy full SHA for 8f63a86

• fix: do not infer typevars on failed poly match

  Show description for f0d714e
  hishamhm

  committed
  f0d714e

  Copy full SHA for f0d714e

• string.gsub: accept functions with no returns

  Show description for cfc986c
  hishamhm

  committed
  cfc986c

  Copy full SHA for cfc986c

• improve inference of nested emptytables

  Show description for ccd2417
  hishamhm

  committed
  ccd2417

  Copy full SHA for ccd2417

Commits on Sep 19, 2024

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

  Show description for 58ebd4b
  hishamhm

  committed
  58ebd4b

  Copy full SHA for 58ebd4b

• fix: can assign an emptytable to an emptytable

  Show description for af5aed5
  hishamhm

  committed
  af5aed5

  Copy full SHA for af5aed5

• types: fix reporting of if block end position

  hishamhm

  committed
  d8965fa

  Copy full SHA for d8965fa

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

  hishamhm

  committed
  b618edb

  Copy full SHA for b618edb

Commits on Sep 21, 2024

• types: reports record functions in record field list

  Show description for 6117c8c
  hishamhm

  committed
  6117c8c

  Copy full SHA for 6117c8c

Commits on Oct 3, 2024

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

  hishamhm

  committed
  78c08f9

  Copy full SHA for 78c08f9

• accept 'is userdata' syntax in records

  hishamhm

  committed
  74a44d3

  Copy full SHA for 74a44d3

Commits on Oct 7, 2024

• fix: macroexp can resolve self for methods

  hishamhm

  committed
  d05df56

  Copy full SHA for d05df56

• fix: macroexp resolve metamethods correctly

  hishamhm

  committed
  737a987

  Copy full SHA for 737a987

• types: reports reference of a nominal type

  hishamhm

  committed
  ab9bf51

  Copy full SHA for ab9bf51

• docs: macro expressions

  hishamhm

  committed
  2c5219f

  Copy full SHA for 2c5219f

• docs: updates for next release

  hishamhm

  committed
  4fa35a4

  Copy full SHA for 4fa35a4

• docs: self type

  hishamhm

  committed
  e289caf

  Copy full SHA for e289caf

• docs: prepare changelog for Teal 0.24.0

  hishamhm

  committed
  261dacd

  Copy full SHA for 261dacd