Commit graph

Select branches

Hide pull requests

RFC-for-req-by-string-aliases

RFC-for-req-by-string-relative-paths

alexmccord-patch-1

master

menarulalam-patch-1-1

merge

upstream

#1

#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

#1067

#1068

#1069

#1075

#1076

#1078

#1082

#1082

#1084

#1087

#1089

#109

#1095

#1096

#1097

#11

#1101

#1104

#1106

#1107

#111

#1110

#1112

#1114

#1115

#1118

#1119

#1120

#1121

#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

#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

#1317

#1318

#1321

#1322

#1322

#1325

#1326

#1326

#133

#1330

#1333

#1334

#1337

#1338

#1338

#134

#1341

#1346

#1347

#135

#1352

#1352

#1354

#1360

#1362

#1362

#1364

#1366

#1368

#1371

#1374

#1376

#138

#1382

#1385

#1388

#139

#1392

#1392

#1393

#1394

#14

#1407

#1408

#1409

#141

#1410

#1411

#1418

#1419

#1419

#142

#1420

#1425

#1425

#1426

#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

#1550

#1551

#1551

#1552

#1554

#1559

#1560

#1560

#1563

#16

#165

#167

#168

#169

#17

#170

#174

#176

#179

#18

#180

#182

#183

#184

#185

#189

#19

#191

#192

#195

#198

#199

#2

#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

#3

#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

#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

#4

#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

#5

#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

#6

#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

#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

#7

#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

#784

#787

#79

#790

#792

#794

#795

#796

#797

#799

#8

#80

#800

#801

#804

#807

#808

#81

#810

#811

#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

#9

#90

#902

#903

#909

#91

#910

#915

#919

#92

#920

#923

#925

#926

#928

#929

#93

#931

#933

#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

#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

Mono Color

• 267c88fec1 Merge branch 'master' into merge Arseny Kapoulkine 2022-04-21 14:04:48 -0700
• f2677f6975 Sync to upstream/release/524 Arseny Kapoulkine 2022-04-21 14:04:22 -0700
• 0f629700a4 WIP ajeffrey@roblox.com 2022-04-21 15:46:59 -0500
• cd699b7e6b WIP ajeffrey@roblox.com 2022-04-06 18:26:29 -0500
• 15a48a0cef WIP ajeffrey@roblox.com 2022-04-21 15:26:42 -0500
• 2a0401e072 Merge remote-tracking branch 'upstream/master' into prototyping-function-overload-resolution ajeffrey@roblox.com 2022-04-21 15:21:00 -0500
• c7d6cbfc95 WIP ajeffrey@roblox.com 2022-04-21 15:13:39 -0500
• 5bb9f379b0
  Unified strict and nonstrict mode in the prototype (#458) Alan Jeffrey 2022-04-15 19:19:42 -0500
• b3e538a328 Boiled properties of function overloading down to 4 lemmas ajeffrey@roblox.com 2022-04-15 12:49:26 -0500
• 8e7845076b
  Sync to upstream/release/523 (#459) 0.523 Arseny Kapoulkine 2022-04-14 16:57:43 -0700
• 25f90eae7d Fix test in debug Arseny Kapoulkine 2022-04-14 16:48:36 -0700
• 6d8a6ec825 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-04-14 14:58:21 -0700
• 5a59a9a50f Merge branch 'master' into merge Arseny Kapoulkine 2022-04-14 14:57:52 -0700
• 02ed5373ec Sync to upstream/release/523 Arseny Kapoulkine 2022-04-14 14:57:15 -0700
• 3170472606 Split off DecSubtyping ajeffrey@roblox.com 2022-04-14 14:44:53 -0500
• 2b893dba73 Merge branch 'prototyping-unified-typechecking' into prototyping-function-overload-resolution ajeffrey@roblox.com 2022-04-14 14:31:01 -0500
• 880afa3416 Unbitrotting ajeffrey@roblox.com 2022-04-13 15:58:15 -0500
• 8f134dcc88 Unified strict and nonstrict mode in the prototype ajeffrey@roblox.com 2022-04-13 15:37:17 -0500
• e9ee0ffdc9 Merge remote-tracking branch 'upstream/master' into prototyping-decidable-subtyping ajeffrey@roblox.com 2022-04-13 15:16:57 -0500
• 13f8947e38
  Apply suggestions from code review Alan Jeffrey 2022-04-12 18:10:06 -0500
• d37d0c857b
  Prototype: Renamed any/none to unknown/never (#447) Alan Jeffrey 2022-04-09 00:07:08 -0500
• 34541b5bdb Test expectations ajeffrey@roblox.com 2022-04-08 22:03:55 -0500
• 669f1488b8 Date formats ajeffrey@roblox.com 2022-04-08 19:46:24 -0500
• 8c2e5a08eb Updated Agda version ajeffrey@roblox.com 2022-04-08 19:27:33 -0500
• 310813801c Try --allow-newer again ajeffrey@roblox.com 2022-04-08 19:08:43 -0500
• 2f300cfddc Try --allow-newer ajeffrey@roblox.com 2022-04-08 19:06:11 -0500
• d3ca4b4da7 Install text ajeffrey@roblox.com 2022-04-08 18:48:50 -0500
• 7e3fd38633 Pin hackage again :( ajeffrey@roblox.com 2022-04-08 18:45:19 -0500
• 6fe94e0664 Pin bytestring again :( ajeffrey@roblox.com 2022-04-08 18:44:27 -0500
• d25c501e4a YAML syntax ajeffrey@roblox.com 2022-04-08 18:07:28 -0500
• 7410ac966b YAML syntax ajeffrey@roblox.com 2022-04-08 18:06:34 -0500
• a74f968fcf YAML syntax ajeffrey@roblox.com 2022-04-08 18:03:19 -0500
• 63e9d555fa YAML syntax ajeffrey@roblox.com 2022-04-08 17:58:40 -0500
• 36566cd741 YAML syntax ajeffrey@roblox.com 2022-04-08 17:48:45 -0500
• 9bcd346bd3 YAML syntax ajeffrey@roblox.com 2022-04-08 17:42:39 -0500
• 011409b92d Pin hackage version instead of lib versions ajeffrey@roblox.com 2022-04-08 17:38:17 -0500
• 510aed7d3f
  Fix JsonEncoder for AstExprTable (#454) Lily Brown 2022-04-08 11:26:47 -0700
• 2e972c21bf fix JsonEncoder for AstExprTable Lily Brown 2022-04-08 11:16:56 -0700
• ea6cc6dbce Actually pin bytestring version ajeffrey@roblox.com 2022-04-08 11:11:58 -0500
• 24e0143800 Pin bytestring version ajeffrey@roblox.com 2022-04-08 10:01:27 -0500
• c9d9277fc1 Pin package versions ajeffrey@roblox.com 2022-04-07 17:57:18 -0500
• f263440720 Add a decision procedure for subtyping to the prototype ajeffrey@roblox.com 2022-04-07 17:31:21 -0500
• de1381e3f1
  Sync to upstream/release/522 (#450) 0.522 Arseny Kapoulkine 2022-04-07 14:29:01 -0700
• 8f96e19b80 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-04-07 13:54:36 -0700
• d42a5dbe48 Sync to upstream/release/522 Arseny Kapoulkine 2022-04-07 13:53:47 -0700
• ffff25a9e5
  Improve the UX of reading tagged unions a smidge. (#449) Alexander McCord 2022-04-07 09:16:44 -0700
• 0d34759466
  Improve the UX of reading tagged unions a smidge. Alexander McCord 2022-04-07 09:03:49 -0700
• 8f42edeb26 Renamed any/none to unknown/never ajeffrey@roblox.com 2022-04-06 17:21:26 -0500
• 7819bf31c7 Added comment about Instance.new ajeffrey@roblox.com 2022-04-06 15:07:21 -0500
• 8c522788bd Added definitions from covcon-again ajeffrey@roblox.com 2022-04-06 14:12:21 -0500
• 2fb0ef80ad Add comment about CFrame.__mul ajeffrey@roblox.com 2022-04-05 17:21:11 -0500
• 8845d33e4d Added saturation to the algorithm ajeffrey@roblox.com 2022-04-05 17:01:37 -0500
• dc32a3253e
  Add short example of width subtyping (#444) Alan Jeffrey 2022-03-31 18:44:41 -0500
• 916c83fdc4
  Prototype: Added a discussion of set-theoretic models of subtyping (#431) Alan Jeffrey 2022-03-31 18:29:42 -0500
• 7a7bed1e40 Add short example of width subtyping ajeffrey@roblox.com 2022-03-31 18:26:58 -0500
• 20308bed20 Merge branch 'merge' 0.521 Arseny Kapoulkine 2022-03-31 14:04:40 -0700
• 4c1f208d7a
  Sync to upstream/release/521 (#443) Arseny Kapoulkine 2022-03-31 14:01:51 -0700
• a9489893b0 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-03-31 13:39:48 -0700
• b9b0382a5a Merge branch 'master' into merge Arseny Kapoulkine 2022-03-31 13:39:46 -0700
• 83c1c48e09 Sync to upstream/release/521 Arseny Kapoulkine 2022-03-31 13:37:49 -0700
• ba60730e0f
  Add documentation on singleton types and tagged unions to typecheck.md. (#440) Alexander McCord 2022-03-31 11:54:06 -0700
• c561ae51b1
  Update docs/_pages/typecheck.md Arseny Kapoulkine 2022-03-31 10:51:18 -0700
• 06bbfd90b5
  Fix code sample in March 2022 Recap (#442) Alan Jeffrey 2022-03-31 09:31:06 -0500
• b44dcaa89d Fix code sample in March 2022 Recap ajeffrey@roblox.com 2022-03-31 08:43:02 -0500
• f3ea2f96f7
  Recap March 2022 (#439) Alan Jeffrey 2022-03-30 18:38:55 -0500
• 6b79f7fff4
  Apply suggestions from code review Alan Jeffrey 2022-03-30 18:26:53 -0500
• 3533171fab Update the typecheck.md page to talk about singleton types and their uses, tagged unions. Alexander McCord 2022-03-30 16:02:14 -0700
• bf42734f37 Polish ajeffrey@roblox.com 2022-03-30 16:08:54 -0500
• af64680a5e
  Mark singleton types and unsealed table literals RFCs as implemented (#438) Arseny Kapoulkine 2022-03-29 16:58:59 -0700
• f35f5feede Skeleton March Recap ajeffrey@roblox.com 2022-03-29 18:12:07 -0500
• 0a9f872572 Add note from STATUS to RFC page Arseny Kapoulkine 2022-03-29 13:23:29 -0700
• 1217a956d5 Update status on forgotten RFC Arseny Kapoulkine 2022-03-29 13:20:55 -0700
• 8c5b73e022 More fixes Arseny Kapoulkine 2022-03-29 13:10:42 -0700
• f22211ed77 Add LBC to status tracker Arseny Kapoulkine 2022-03-29 13:08:45 -0700
• a8d548073d Mark singleton types and unsealed table literals RFCs as implemented Arseny Kapoulkine 2022-03-29 13:07:13 -0700
• 75bccce3db
  RFC: Lower Bounds Calculation (#388) Andy Friesen 2022-03-29 12:37:14 -0700
• 9dd672bb8d Fix some more wording. Thanks Slava! Andy Friesen 2022-03-29 12:35:03 -0700
• 4cac2eea03 Pick a lane ajeffrey@roblox.com 2022-03-29 14:28:39 -0500
• 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 -0700
• 358e658f67 Add a first-cut RFC for shape types ajeffrey@roblox.com 2022-03-28 18:17:47 -0500
• 13f1f117d0 Added discussion ajeffrey@roblox.com 2022-03-28 17:35:45 -0500
• 20e18ef836 Restore incorrectly overwritten TEMPLATE.md ajeffrey@roblox.com 2022-03-28 15:36:20 -0500
• 9dd67c597a Add more examples and motivation ajeffrey@roblox.com 2022-03-28 15:34:44 -0500
• f00a2f3d54
  Merge cf0bc1ed93 into 2c339d52c0 James Napora 2022-03-25 17:53:24 -0700
• 3a1ecd9cc5 Add RFC for none and unknown types ajeffrey@roblox.com 2022-03-25 18:03:18 -0500
• 56bd431223 Add RFC for Luau function and table types ajeffrey@roblox.com 2022-03-25 17:53:04 -0500
• d31a28a08c Draft RFC on function overload resolution ajeffrey@roblox.com 2022-03-25 17:35:30 -0500
• 4a0ad2e025 Oops, forgot a hole! ajeffrey@roblox.com 2022-03-25 14:22:12 -0500
• afe4700d59 Added a counterexample ajeffrey@roblox.com 2022-03-25 13:52:39 -0500
• ec7c5e3b84 Added a discussion of set-theoretic models of subtyping ajeffrey@roblox.com 2022-03-25 13:05:34 -0500
• 2c339d52c0
  Sync to upstream/release/520 (#427) 0.520 Arseny Kapoulkine 2022-03-24 15:04:14 -0700
• d13b50de16 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-03-24 14:49:30 -0700
• 44405223ce Merge branch 'master' into merge Arseny Kapoulkine 2022-03-24 14:49:29 -0700
• 373da161e9 Sync to upstream/release/520 Arseny Kapoulkine 2022-03-24 14:49:08 -0700
• 96449acecb Forgot two important words. Andy Friesen 2022-03-24 14:18:57 -0700
• c9d6c134fc Fix the subtyping theory for functions. Andy Friesen 2022-03-24 13:50:33 -0700
• 5e7e462104
  Update STATUS.md Arseny Kapoulkine 2022-03-24 13:10:56 -0700
• ab64a097cd
  Mark sealed table subtyping RFC as implemented Arseny Kapoulkine 2022-03-24 13:10:30 -0700
• 2335b26ffc
  Update library.md Arseny Kapoulkine 2022-03-24 09:31:18 -0700
• b8e025311b
  Mark table.clone as implemented Arseny Kapoulkine 2022-03-24 09:29:20 -0700