Code

[DRAFT] RFC: Structural Records#15

Code

Closed

Centril wants to merge 9 commits intomasterCentril/rfcs:masterfrom rfc/structural-recordsCentril/rfcs:rfc/structural-recordsCopy head branch name to clipboard

+1,208

Commits

Commits on Oct 28, 2018

• rfc, structural-records: initial version.

  Centril

  committed
  482bc50

  Copy full SHA for 482bc50

Commits on Oct 29, 2018

• rfc/structural-records: fix typo.

  Show description for a8b1a23
  

  kennytm

  and

  Centril

  authored
  a8b1a23

  Copy full SHA for a8b1a23

• rfc, structural-records: fix type theory encoding mishap.

  Centril

  committed
  383a8dc

  Copy full SHA for 383a8dc

• rfc, structural-records: clarify that component types must be *WF*.

  Centril

  committed
  add3e0b

  Copy full SHA for add3e0b

Commits on Nov 2, 2018

• rfc, structural-records: elaborate on drawbacks re. orphans.

  Centril

  committed
  627f75d

  Copy full SHA for 627f75d

• rfc, structural-records: elaborate some more.

  Centril

  committed
  d2b61cb

  Copy full SHA for d2b61cb

• rfc, structural-records: discuss { 0: x, 1: y, .. }

  Centril

  committed
  c9b38d7

  Copy full SHA for c9b38d7

• rfc, structural-records: adjust start date.

  Centril

  committed
  9611276

  Copy full SHA for 9611276

• rfc, structural-records: ?Sized -> !Sized.

  Centril

  committed
  90ab4e8

  Copy full SHA for 90ab4e8