Arseny Kapoulkine
e9cc76a3d5
Sync to upstream/release/526 ( #477 )
2022-05-05 17:03:43 -07:00
Arseny Kapoulkine
08ac2176c5
Merge branch 'upstream' into merge
2022-05-05 16:53:50 -07:00
Arseny Kapoulkine
a76a92f4a3
Merge branch 'master' into merge
2022-05-05 16:53:35 -07:00
Arseny Kapoulkine
bb57bf9603
Sync to upstream/release/526
2022-05-05 16:52:48 -07:00
phoebe
57016582a7
fix feed link ( #476 )
2022-05-05 14:37:27 -07:00
byte-chan™
9156b5ae6d
Fix non-C locale issues in REPL ( #474 )
2022-05-04 12:27:12 -07:00
Alexander McCord
47a8d28aa9
Fix a typo in recap. ( #472 )
2022-05-03 16:12:59 -07:00
Andy Friesen
9bc71c4b13
April 2022 recap ( #470 )
2022-05-03 15:29:01 -07:00
Andy Friesen
448f03218f
Add attribution for Result.ts ( #468 )
2022-04-29 09:33:30 -07:00
Arseny Kapoulkine
bd6d44f5e3
Sync to upstream/release/525 ( #467 )
2022-04-28 18:24:24 -07:00
Arseny Kapoulkine
51ae97c211
We also need to lower the limit
2022-04-28 18:15:04 -07:00
Arseny Kapoulkine
0d6481b9df
Fix tests in debug
2022-04-28 18:10:31 -07:00
Arseny Kapoulkine
5444d06708
Merge branch 'upstream' into merge
2022-04-28 18:05:07 -07:00
Arseny Kapoulkine
9ce46fd381
Merge branch 'master' into merge
2022-04-28 18:05:04 -07:00
Arseny Kapoulkine
4d9ac7db1e
Sync to upstream/release/525
2022-04-28 18:04:52 -07:00
Alan Jeffrey
74c84815a0
Prototyping type normalizaton ( #466 )
...
* Added type normalization
2022-04-28 15:00:55 -05:00
Arseny Kapoulkine
e0a6461173
Sync to upstream/release/524 ( #462 )
2022-04-21 14:44:27 -07:00
Arseny Kapoulkine
bb2370d5c6
Merge branch 'upstream' into merge
2022-04-21 14:04:52 -07:00
Arseny Kapoulkine
267c88fec1
Merge branch 'master' into merge
2022-04-21 14:04:48 -07:00
Arseny Kapoulkine
f2677f6975
Sync to upstream/release/524
2022-04-21 14:04:22 -07:00
Alan Jeffrey
5bb9f379b0
Unified strict and nonstrict mode in the prototype ( #458 )
2022-04-15 19:19:42 -05:00
Arseny Kapoulkine
8e7845076b
Sync to upstream/release/523 ( #459 )
2022-04-14 16:57:43 -07:00
Arseny Kapoulkine
25f90eae7d
Fix test in debug
2022-04-14 16:48:36 -07:00
Arseny Kapoulkine
6d8a6ec825
Merge branch 'upstream' into merge
2022-04-14 14:58:21 -07:00
Arseny Kapoulkine
5a59a9a50f
Merge branch 'master' into merge
2022-04-14 14:57:52 -07:00
Arseny Kapoulkine
02ed5373ec
Sync to upstream/release/523
2022-04-14 14:57:15 -07:00
Alan Jeffrey
d37d0c857b
Prototype: Renamed any/none to unknown/never ( #447 )
...
* Renamed any/none to unknown/never
* Pin hackage version
* Update Agda version
2022-04-09 00:07:08 -05:00
Lily Brown
510aed7d3f
Fix JsonEncoder for AstExprTable ( #454 )
...
JsonEncoder wasn't producing valid JSON for `AstExprTable`s. This PR fixes it. The new output looks like
```json
{
"type": "AstStatBlock",
"location": "0,0 - 6,4",
"body": [
{
"type": "AstStatLocal",
"location": "1,8 - 5,9",
"vars": [
{
"name": "x",
"location": "1,14 - 1,15"
}
],
"values": [
{
"type": "AstExprTable",
"location": "3,12 - 5,9",
"items": [
{
"kind": "record",
"key": {
"type": "AstExprConstantString",
"location": "4,12 - 4,15",
"value": "foo"
},
"value": {
"type": "AstExprConstantNumber",
"location": "4,18 - 4,21",
"value": 123
}
}
]
}
]
}
]
}
```
2022-04-08 11:26:47 -07:00
Arseny Kapoulkine
de1381e3f1
Sync to upstream/release/522 ( #450 )
2022-04-07 14:29:01 -07:00
Arseny Kapoulkine
8f96e19b80
Merge branch 'upstream' into merge
2022-04-07 13:54:36 -07:00
Arseny Kapoulkine
d42a5dbe48
Sync to upstream/release/522
2022-04-07 13:53:47 -07:00
Alexander McCord
ffff25a9e5
Improve the UX of reading tagged unions a smidge. ( #449 )
...
The page is a little narrow, and having to scroll on this horizontally isn't too nice. This fixes the UX for this specific part.
2022-04-07 09:16:44 -07:00
Alan Jeffrey
dc32a3253e
Add short example of width subtyping ( #444 )
2022-03-31 18:44:41 -05:00
Alan Jeffrey
916c83fdc4
Prototype: Added a discussion of set-theoretic models of subtyping ( #431 )
...
* Added a discussion of set-theoretic models of subtyping to the prototype
2022-03-31 18:29:42 -05:00
Arseny Kapoulkine
20308bed20
Merge branch 'merge'
2022-03-31 14:04:40 -07:00
Arseny Kapoulkine
4c1f208d7a
Sync to upstream/release/521 ( #443 )
2022-03-31 14:01:51 -07:00
Arseny Kapoulkine
a9489893b0
Merge branch 'upstream' into merge
2022-03-31 13:39:48 -07:00
Arseny Kapoulkine
b9b0382a5a
Merge branch 'master' into merge
2022-03-31 13:39:46 -07:00
Arseny Kapoulkine
83c1c48e09
Sync to upstream/release/521
2022-03-31 13:37:49 -07:00
Alexander McCord
ba60730e0f
Add documentation on singleton types and tagged unions to typecheck.md. ( #440 )
...
Update the typecheck.md page to talk about singleton types and their uses, tagged unions.
As a driveby, improve the documentation on type refinements. And delete the unknown symbols part, this is really dated.
* Update docs/_pages/typecheck.md to fix a typo
Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
2022-03-31 11:54:06 -07:00
Alan Jeffrey
06bbfd90b5
Fix code sample in March 2022 Recap ( #442 )
2022-03-31 09:31:06 -05:00
Alan Jeffrey
f3ea2f96f7
Recap March 2022 ( #439 )
...
* March Recap
Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
2022-03-30 18:38:55 -05:00
Arseny Kapoulkine
af64680a5e
Mark singleton types and unsealed table literals RFCs as implemented ( #438 )
2022-03-29 16:58:59 -07:00
Andy Friesen
75bccce3db
RFC: Lower Bounds Calculation ( #388 )
...
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
2022-03-29 12:37:14 -07:00
Arseny Kapoulkine
2c339d52c0
Sync to upstream/release/520 ( #427 )
2022-03-24 15:04:14 -07:00
Arseny Kapoulkine
d13b50de16
Merge branch 'upstream' into merge
2022-03-24 14:49:30 -07:00
Arseny Kapoulkine
44405223ce
Merge branch 'master' into merge
2022-03-24 14:49:29 -07:00
Arseny Kapoulkine
373da161e9
Sync to upstream/release/520
2022-03-24 14:49:08 -07:00
Arseny Kapoulkine
5e7e462104
Update STATUS.md
2022-03-24 13:10:56 -07:00
Arseny Kapoulkine
ab64a097cd
Mark sealed table subtyping RFC as implemented
2022-03-24 13:10:30 -07:00
