Commit graph

luau-lang/luau

Fork 0

mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00

Select branches

Hide pull requests

ci-try-memory-leak

master

merge

upstream

#100

#1000

#1001

#1004

#1005

#1007

#1008

#1009

#1010

#1012

#1013

#1014

#1015

#1016

#1018

#1023

#1024

#103

#1034

#1035

#1036

#1037

#1039

#104

#1040

#1044

#1046

#1047

#1048

#105

#1050

#1052

#1054

#1055

#1059

#1060

#1061

#1063

#1064

#1067

#1068

#1069

#1075

#1076

#1078

#1082

#1084

#1087

#1089

#109

#1095

#1096

#1097

#11

#1101

#1104

#1106

#1107

#111

#1110

#1112

#1114

#1115

#1118

#1119

#1120

#1121

#1123

#1124

#1125

#1127

#1129

#1130

#1131

#1135

#1136

#1139

#114

#1142

#1144

#1145

#1147

#115

#1150

#1154

#1155

#1156

#1158

#1160

#1162

#1164

#1166

#1167

#1171

#1172

#1173

#1174

#1175

#1177

#118

#1180

#1184

#1186

#119

#1194

#12

#1201

#1203

#1204

#1205

#1213

#1216

#1218

#1219

#1220

#1223

#1229

#1232

#1236

#1238

#124

#1243

#1244

#1245

#1246

#1249

#1250

#1251

#1252

#1254

#1255

#1258

#1266

#1275

#1278

#1285

#1286

#1288

#1289

#1290

#1295

#1299

#13

#1307

#1313

#1314

#1315

#1317

#1318

#1321

#1322

#1325

#1326

#133

#1330

#1333

#1334

#1337

#1338

#134

#1341

#1346

#1347

#135

#1352

#1354

#1360

#1362

#1364

#1366

#1368

#1371

#1374

#1376

#138

#1382

#1385

#1388

#139

#1392

#1393

#1394

#14

#1407

#1408

#1409

#141

#1410

#1411

#1418

#1419

#142

#1420

#1425

#1426

#143

#1430

#1432

#1433

#1439

#1440

#1445

#145

#1458

#146

#1461

#1466

#1469

#1472

#1477

#1489

#149

#1493

#1495

#15

#1502

#1504

#1505

#1506

#1512

#1513

#1514

#1523

#1525

#1526

#1529

#1530

#1532

#1539

#1541

#1545

#1548

#1550

#1551

#1552

#1554

#1559

#1560

#1563

#1568

#1569

#1570

#1571

#1573

#1581

#1582

#1599

#16

#1607

#1608

#1609

#1612

#1619

#1621

#1622

#1625

#1637

#1643

#165

#1664

#167

#1670

#1676

#1677

#168

#1681

#1683

#1688

#169

#1694

#1699

#17

#170

#1713

#1715

#1720

#1732

#174

#1741

#1742

#1747

#1749

#1750

#1751

#1754

#1759

#176

#1760

#1761

#1763

#1765

#1769

#1770

#1772

#1774

#1775

#1779

#1785

#1787

#1788

#179

#18

#180

#1800

#1804

#182

#183

#184

#185

#189

#19

#191

#192

#195

#198

#199

#20

#200

#201

#202

#203

#205

#206

#207

#209

#21

#210

#214

#216

#22

#221

#222

#223

#227

#228

#231

#232

#233

#235

#236

#237

#238

#24

#241

#25

#252

#253

#254

#257

#26

#260

#261

#263

#264

#266

#268

#27

#270

#275

#276

#277

#279

#28

#284

#285

#286

#29

#294

#297

#300

#301

#303

#304

#305

#308

#309

#31

#313

#314

#315

#316

#32

#323

#324

#325

#33

#330

#331

#335

#337

#34

#340

#341

#342

#343

#344

#345

#349

#350

#352

#353

#354

#355

#357

#358

#36

#360

#361

#362

#363

#364

#366

#367

#368

#369

#37

#370

#371

#372

#374

#375

#376

#377

#378

#379

#38

#387

#388

#389

#39

#390

#397

#398

#399

#40

#401

#403

#406

#408

#41

#410

#413

#414

#416

#419

#42

#420

#422

#424

#426

#427

#43

#431

#432

#433

#434

#436

#438

#439

#44

#440

#442

#443

#444

#447

#449

#45

#450

#451

#454

#458

#459

#46

#462

#466

#467

#468

#47

#470

#472

#474

#475

#476

#477

#478

#48

#480

#481

#486

#487

#488

#49

#490

#491

#494

#496

#497

#50

#500

#501

#505

#506

#507

#508

#51

#510

#511

#513

#514

#517

#52

#522

#53

#530

#531

#532

#536

#537

#54

#542

#545

#55

#553

#554

#555

#556

#559

#56

#560

#561

#563

#564

#566

#567

#568

#569

#57

#570

#572

#574

#575

#576

#577

#578

#58

#581

#583

#584

#585

#588

#589

#59

#592

#60

#602

#603

#606

#607

#608

#609

#61

#610

#611

#612

#614

#615

#616

#618

#619

#62

#624

#625

#629

#63

#630

#634

#635

#636

#637

#639

#64

#640

#641

#642

#643

#644

#648

#649

#65

#653

#654

#657

#659

#667

#669

#67

#671

#674

#675

#676

#678

#68

#680

#681

#682

#688

#69

#690

#691

#692

#699

#70

#700

#704

#705

#707

#709

#71

#713

#715

#717

#719

#72

#720

#722

#723

#724

#726

#727

#728

#729

#73

#735

#737

#739

#74

#742

#748

#75

#751

#76

#760

#762

#764

#766

#768

#769

#77

#78

#782

#784

#787

#79

#790

#792

#794

#795

#796

#797

#799

#80

#800

#801

#804

#807

#808

#81

#810

#811

#814

#82

#820

#824

#828

#829

#83

#832

#833

#835

#839

#840

#841

#842

#845

#848

#849

#851

#853

#86

#860

#861

#862

#863

#865

#869

#87

#870

#874

#877

#878

#88

#883

#885

#886

#89

#890

#895

#899

#90

#902

#903

#909

#91

#910

#915

#919

#92

#920

#923

#925

#926

#928

#929

#93

#931

#933

#934

#936

#939

#94

#942

#943

#946

#948

#949

#951

#952

#953

#958

#960

#967

#968

#969

#970

#971

#973

#974

#976

#977

#979

#982

#987

#988

#99

#990

#991

#992

#993

#994

#995

#998

#999

0.501

0.503

0.504

0.505

0.506

0.507

0.509

0.510

0.511

0.512

0.513

0.514

0.515

0.516

0.517

0.518

0.519

0.520

0.521

0.522

0.523

0.524

0.525

0.526

0.527

0.528

0.529

0.530

0.531

0.532

0.533

0.534

0.535

0.536

0.537

0.538

0.539

0.540

0.541

0.542

0.543

0.544

0.545

0.546

0.547

0.548

0.549

0.550

0.551

0.552

0.553

0.554

0.555

0.556

0.557

0.558

0.559

0.560

0.561

0.562

0.563

0.564

0.565

0.566

0.567

0.568

0.569

0.570

0.571

0.572

0.573

0.574

0.575

0.576

0.577

0.578

0.579

0.580

0.581

0.582

0.583

0.584

0.588

0.589

0.590

0.591

0.592

0.593

0.594

0.595

0.596

0.597

0.598

0.599

0.600

0.601

0.602

0.603

0.604

0.605

0.606

0.607

0.608

0.609

0.610

0.611

0.612

0.613

0.614

0.615

0.616

0.617

0.618

0.619

0.620

0.621

0.622

0.623

0.624

0.625

0.626

0.627

0.628

0.629

0.630

0.631

0.632

0.633

0.634

0.635

0.636

0.637

0.638

0.639

0.640

0.641

0.642

0.643

0.644

0.645

0.646

0.647

0.648

0.649

0.650

0.651

0.652

0.653

0.654

0.655

0.656

0.657

0.658

0.659

0.660

0.661

0.662

0.663

0.664

0.665

0.666

0.667

0.668

0.669

0.670

0.671

0.672

658fce4631 WIP ajeffrey@roblox.com 2022-04-26 13:32:42 -05:00
f6d3981936 WIP ajeffrey@roblox.com 2022-04-26 11:22:33 -05:00
139de8f58b WIP ajeffrey@roblox.com 2022-04-25 17:47:53 -05:00
d8a37de0cc WIP ajeffrey@roblox.com 2022-04-25 12:37:22 -05:00
fc4a789edc Added type normalization ajeffrey@roblox.com 2022-04-25 11:20:50 -05:00
3bc13bf27a Added more properties of subtyping ajeffrey@roblox.com 2022-04-25 10:41:28 -05:00
7499f040c1 WIP ajeffrey@roblox.com 2022-04-22 19:56:38 -05:00
5bf95afdf1 WIP ajeffrey@roblox.com 2022-04-22 19:52:49 -05:00
1733f300bb WIP ajeffrey@roblox.com 2022-04-22 19:11:57 -05:00
f3dce67895 WIP ajeffrey@roblox.com 2022-04-22 19:04:56 -05:00
2e4f24f0f8 WIP ajeffrey@roblox.com 2022-04-22 19:04:21 -05:00
a767929546 WIP ajeffrey@roblox.com 2022-04-21 17:11:09 -05:00
e0a6461173

Sync to upstream/release/524 (#462) 0.524 Arseny Kapoulkine 2022-04-21 14:44:27 -07:00
bb2370d5c6 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-04-21 14:04:52 -07:00
267c88fec1 Merge branch 'master' into merge Arseny Kapoulkine 2022-04-21 14:04:48 -07:00
f2677f6975 Sync to upstream/release/524 Arseny Kapoulkine 2022-04-21 14:04:22 -07:00
0f629700a4 WIP ajeffrey@roblox.com 2022-04-21 15:46:59 -05:00
cd699b7e6b WIP ajeffrey@roblox.com 2022-04-06 18:26:29 -05:00
15a48a0cef WIP ajeffrey@roblox.com 2022-04-21 15:26:42 -05:00
2a0401e072 Merge remote-tracking branch 'upstream/master' into prototyping-function-overload-resolution ajeffrey@roblox.com 2022-04-21 15:21:00 -05:00
c7d6cbfc95 WIP ajeffrey@roblox.com 2022-04-21 15:13:39 -05:00
5bb9f379b0

Unified strict and nonstrict mode in the prototype (#458) Alan Jeffrey 2022-04-15 19:19:42 -05:00
b3e538a328 Boiled properties of function overloading down to 4 lemmas ajeffrey@roblox.com 2022-04-15 12:49:26 -05:00
8e7845076b

Sync to upstream/release/523 (#459) 0.523 Arseny Kapoulkine 2022-04-14 16:57:43 -07:00
25f90eae7d Fix test in debug Arseny Kapoulkine 2022-04-14 16:48:36 -07:00
6d8a6ec825 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-04-14 14:58:21 -07:00
5a59a9a50f Merge branch 'master' into merge Arseny Kapoulkine 2022-04-14 14:57:52 -07:00
02ed5373ec Sync to upstream/release/523 Arseny Kapoulkine 2022-04-14 14:57:15 -07:00
3170472606 Split off DecSubtyping ajeffrey@roblox.com 2022-04-14 14:44:53 -05:00
2b893dba73 Merge branch 'prototyping-unified-typechecking' into prototyping-function-overload-resolution ajeffrey@roblox.com 2022-04-14 14:31:01 -05:00
880afa3416 Unbitrotting ajeffrey@roblox.com 2022-04-13 15:58:15 -05:00
8f134dcc88 Unified strict and nonstrict mode in the prototype ajeffrey@roblox.com 2022-04-13 15:37:17 -05:00
e9ee0ffdc9 Merge remote-tracking branch 'upstream/master' into prototyping-decidable-subtyping ajeffrey@roblox.com 2022-04-13 15:16:57 -05:00
13f8947e38

Apply suggestions from code review Alan Jeffrey 2022-04-12 18:10:06 -05:00
d37d0c857b

Prototype: Renamed any/none to unknown/never (#447) Alan Jeffrey 2022-04-09 00:07:08 -05:00
34541b5bdb Test expectations ajeffrey@roblox.com 2022-04-08 22:03:55 -05:00
669f1488b8 Date formats ajeffrey@roblox.com 2022-04-08 19:46:24 -05:00
8c2e5a08eb Updated Agda version ajeffrey@roblox.com 2022-04-08 19:27:33 -05:00
310813801c Try --allow-newer again ajeffrey@roblox.com 2022-04-08 19:08:43 -05:00
2f300cfddc Try --allow-newer ajeffrey@roblox.com 2022-04-08 19:06:11 -05:00
d3ca4b4da7 Install text ajeffrey@roblox.com 2022-04-08 18:48:50 -05:00
7e3fd38633 Pin hackage again :( ajeffrey@roblox.com 2022-04-08 18:45:19 -05:00
6fe94e0664 Pin bytestring again :( ajeffrey@roblox.com 2022-04-08 18:44:27 -05:00
d25c501e4a YAML syntax ajeffrey@roblox.com 2022-04-08 18:07:28 -05:00
7410ac966b YAML syntax ajeffrey@roblox.com 2022-04-08 18:06:34 -05:00
a74f968fcf YAML syntax ajeffrey@roblox.com 2022-04-08 18:03:19 -05:00
63e9d555fa YAML syntax ajeffrey@roblox.com 2022-04-08 17:58:40 -05:00
36566cd741 YAML syntax ajeffrey@roblox.com 2022-04-08 17:48:45 -05:00
9bcd346bd3 YAML syntax ajeffrey@roblox.com 2022-04-08 17:42:39 -05:00
011409b92d Pin hackage version instead of lib versions ajeffrey@roblox.com 2022-04-08 17:38:17 -05:00
510aed7d3f

Fix JsonEncoder for AstExprTable (#454) Lily Brown 2022-04-08 11:26:47 -07:00
2e972c21bf fix JsonEncoder for AstExprTable Lily Brown 2022-04-08 11:16:56 -07:00
ea6cc6dbce Actually pin bytestring version ajeffrey@roblox.com 2022-04-08 11:11:58 -05:00
24e0143800 Pin bytestring version ajeffrey@roblox.com 2022-04-08 10:01:27 -05:00
c9d9277fc1 Pin package versions ajeffrey@roblox.com 2022-04-07 17:57:18 -05:00
f263440720 Add a decision procedure for subtyping to the prototype ajeffrey@roblox.com 2022-04-07 17:31:21 -05:00
de1381e3f1

Sync to upstream/release/522 (#450) 0.522 Arseny Kapoulkine 2022-04-07 14:29:01 -07:00
8f96e19b80 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-04-07 13:54:36 -07:00
d42a5dbe48 Sync to upstream/release/522 Arseny Kapoulkine 2022-04-07 13:53:47 -07:00
ffff25a9e5

Improve the UX of reading tagged unions a smidge. (#449) Alexander McCord 2022-04-07 09:16:44 -07:00
0d34759466

Improve the UX of reading tagged unions a smidge. Alexander McCord 2022-04-07 09:03:49 -07:00
8f42edeb26 Renamed any/none to unknown/never ajeffrey@roblox.com 2022-04-06 17:21:26 -05:00
7819bf31c7 Added comment about Instance.new ajeffrey@roblox.com 2022-04-06 15:07:21 -05:00
8c522788bd Added definitions from covcon-again ajeffrey@roblox.com 2022-04-06 14:12:21 -05:00
2fb0ef80ad Add comment about CFrame.__mul ajeffrey@roblox.com 2022-04-05 17:21:11 -05:00
8845d33e4d Added saturation to the algorithm ajeffrey@roblox.com 2022-04-05 17:01:37 -05:00
dc32a3253e

Add short example of width subtyping (#444) Alan Jeffrey 2022-03-31 18:44:41 -05:00
916c83fdc4

Prototype: Added a discussion of set-theoretic models of subtyping (#431) Alan Jeffrey 2022-03-31 18:29:42 -05:00
7a7bed1e40 Add short example of width subtyping ajeffrey@roblox.com 2022-03-31 18:26:58 -05:00
20308bed20 Merge branch 'merge' 0.521 Arseny Kapoulkine 2022-03-31 14:04:40 -07:00
4c1f208d7a

Sync to upstream/release/521 (#443) Arseny Kapoulkine 2022-03-31 14:01:51 -07:00
a9489893b0 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-03-31 13:39:48 -07:00
b9b0382a5a Merge branch 'master' into merge Arseny Kapoulkine 2022-03-31 13:39:46 -07:00
83c1c48e09 Sync to upstream/release/521 Arseny Kapoulkine 2022-03-31 13:37:49 -07:00
ba60730e0f

Add documentation on singleton types and tagged unions to typecheck.md. (#440) Alexander McCord 2022-03-31 11:54:06 -07:00
c561ae51b1

Update docs/_pages/typecheck.md Arseny Kapoulkine 2022-03-31 10:51:18 -07:00
06bbfd90b5

Fix code sample in March 2022 Recap (#442) Alan Jeffrey 2022-03-31 09:31:06 -05:00
b44dcaa89d Fix code sample in March 2022 Recap ajeffrey@roblox.com 2022-03-31 08:43:02 -05:00
f3ea2f96f7

Recap March 2022 (#439) Alan Jeffrey 2022-03-30 18:38:55 -05:00
6b79f7fff4

Apply suggestions from code review Alan Jeffrey 2022-03-30 18:26:53 -05:00
3533171fab Update the typecheck.md page to talk about singleton types and their uses, tagged unions. Alexander McCord 2022-03-30 16:02:14 -07:00
bf42734f37 Polish ajeffrey@roblox.com 2022-03-30 16:08:54 -05:00
af64680a5e

Mark singleton types and unsealed table literals RFCs as implemented (#438) Arseny Kapoulkine 2022-03-29 16:58:59 -07:00
f35f5feede Skeleton March Recap ajeffrey@roblox.com 2022-03-29 18:12:07 -05:00
0a9f872572 Add note from STATUS to RFC page Arseny Kapoulkine 2022-03-29 13:23:29 -07:00
1217a956d5 Update status on forgotten RFC Arseny Kapoulkine 2022-03-29 13:20:55 -07:00
8c5b73e022 More fixes Arseny Kapoulkine 2022-03-29 13:10:42 -07:00
f22211ed77 Add LBC to status tracker Arseny Kapoulkine 2022-03-29 13:08:45 -07:00
a8d548073d Mark singleton types and unsealed table literals RFCs as implemented Arseny Kapoulkine 2022-03-29 13:07:13 -07:00
75bccce3db

RFC: Lower Bounds Calculation (#388) Andy Friesen 2022-03-29 12:37:14 -07:00
9dd672bb8d Fix some more wording. Thanks Slava! Andy Friesen 2022-03-29 12:35:03 -07:00
4cac2eea03 Pick a lane ajeffrey@roblox.com 2022-03-29 14:28:39 -05:00
17c418adce Fix a type judgement that we wouldn't actually be able to make with this design. Andy Friesen 2022-03-29 10:59:43 -07:00
358e658f67 Add a first-cut RFC for shape types ajeffrey@roblox.com 2022-03-28 18:17:47 -05:00
13f1f117d0 Added discussion ajeffrey@roblox.com 2022-03-28 17:35:45 -05:00
20e18ef836 Restore incorrectly overwritten TEMPLATE.md ajeffrey@roblox.com 2022-03-28 15:36:20 -05:00
9dd67c597a Add more examples and motivation ajeffrey@roblox.com 2022-03-28 15:34:44 -05:00
f00a2f3d54

Merge cf0bc1ed93 into 2c339d52c0 James Napora 2022-03-25 17:53:24 -07:00
3a1ecd9cc5 Add RFC for none and unknown types ajeffrey@roblox.com 2022-03-25 18:03:18 -05:00
56bd431223 Add RFC for Luau function and table types ajeffrey@roblox.com 2022-03-25 17:53:04 -05:00