Code

Modal harmony#148

Code

Merged

bors[bot] merged 45 commits intodada-lang:maindada-lang/dada:mainfrom nikomatsakis:modal-harmonynikomatsakis/dada:modal-harmonyCopy head branch name to clipboardApr 19, 2022

+9,190-1,705

Commits

Commits on Apr 18, 2022

• comment the reasoning about sharing

  nikomatsakis

  committed
  23c593b

  Copy full SHA for 23c593b

• change how graphviz renders things

  nikomatsakis

  committed
  0c894ab

  Copy full SHA for 0c894ab

• introduce a take_object helper method

  nikomatsakis

  committed
  275c2c7

  Copy full SHA for 275c2c7

• wip: debug when temporaries are created

  nikomatsakis

  committed
  c497b4b

  Copy full SHA for c497b4b

• extract helper fn for reporting expired place

  nikomatsakis

  committed
  181014d

  Copy full SHA for 181014d

• check value returned is valid before storing it

  Show description for 6a09eb3
  nikomatsakis

  committed
  6a09eb3

  Copy full SHA for 6a09eb3

• remove intermediate temporary for x = y

  nikomatsakis

  committed
  ff94a61

  Copy full SHA for ff94a61

• remove intermediate temporaries for call arguments

  nikomatsakis

  committed
  c508302

  Copy full SHA for c508302

Commits on Apr 19, 2022

• sharing a fully owned thing now *invalidates*

  Show description for 11c03e9
  nikomatsakis

  committed
  11c03e9

  Copy full SHA for 11c03e9

• use SpannedWord more often to carry spans

  Show description for 593efd5
  nikomatsakis

  committed
  593efd5

  Copy full SHA for 593efd5

• thread specifier information through the code

  nikomatsakis

  committed
  bc78d82

  Copy full SHA for bc78d82

• rename storage_mode -> storage

  nikomatsakis

  committed
  3951b1a

  Copy full SHA for 3951b1a

• thread specifiers through validated, bir

  nikomatsakis

  committed
  4f6555b

  Copy full SHA for 4f6555b

• rename "give share" back to "share"

  nikomatsakis

  committed
  fec4030

  Copy full SHA for fec4030

• rename Assign

  nikomatsakis

  committed
  a09bc5a

  Copy full SHA for a09bc5a

• rename Assign to AssignExpr

  nikomatsakis

  committed
  dc6c629

  Copy full SHA for dc6c629

• implement assignment from place to place

  nikomatsakis

  committed
  ab2bfb5

  Copy full SHA for ab2bfb5

• factor out a helper function

  nikomatsakis

  committed
  c600db5

  Copy full SHA for c600db5

• prepare arguments for parameter storage specifiers

  nikomatsakis

  committed
  778a23b

  Copy full SHA for 778a23b

• introduce AssignFromPlace

  nikomatsakis

  committed
  99954d8

  Copy full SHA for 99954d8

• leases act as either reads or writes, depending

  Show description for 5d434d9
  nikomatsakis

  committed
  5d434d9

  Copy full SHA for 5d434d9

• break out stringify_object helper fn

  nikomatsakis

  committed
  ad477fa

  Copy full SHA for ad477fa

• introduce reservations into the machine

  nikomatsakis

  committed
  98ee437

  Copy full SHA for 98ee437

• add the ability to reserve a place

  nikomatsakis

  committed
  318769c

  Copy full SHA for 318769c

• introduce reserve validated expression

  nikomatsakis

  committed
  87cb8f1

  Copy full SHA for 87cb8f1

• reserve paths given to a fn call, paths for tuples

  nikomatsakis

  committed
  0844c66

  Copy full SHA for 0844c66

• rework target-places and assignments

  Show description for e05bd71
  nikomatsakis

  committed
  e05bd71

  Copy full SHA for e05bd71

• take specifiers into account when validating

  nikomatsakis

  committed
  8016442

  Copy full SHA for 8016442

• take specifiers into account when validating

  nikomatsakis

  committed
  08e0042

  Copy full SHA for 08e0042

• test field specifiers

  Show description for bf05087
  nikomatsakis

  committed
  bf05087

  Copy full SHA for bf05087

• improve debug printouts

  nikomatsakis

  committed
  5ab9446

  Copy full SHA for 5ab9446

• add comment

  nikomatsakis

  committed
  225af9a

  Copy full SHA for 225af9a

• share an expr, not place; impl our leased mode

  nikomatsakis

  committed
  f71d2ec

  Copy full SHA for f71d2ec

• useful debug printouts

  nikomatsakis

  committed
  68773ed

  Copy full SHA for 68773ed

• confirm reservation for our leased; add test

  Show description for c6409e5
  nikomatsakis

  committed
  c6409e5

  Copy full SHA for c6409e5

• generate AssignPlace for x := <place> expr

  Show description for b45c41e
  nikomatsakis

  committed
  b45c41e

  Copy full SHA for b45c41e

• rework how we lower assignments

  Show description for d732574
  nikomatsakis

  committed
  d732574

  Copy full SHA for d732574

• make leasing a shared value => clone

  Show description for 2d5d296
  nikomatsakis

  committed
  2d5d296

  Copy full SHA for 2d5d296

• fix += desugaring to lease lhs

  Show description for 04b7fbf
  nikomatsakis

  committed
  04b7fbf

  Copy full SHA for 04b7fbf

• enforce that we use Assign just for temporaries

  Show description for f457e74
  nikomatsakis

  committed
  f457e74

  Copy full SHA for f457e74

• enforce specifiers match what is required

  nikomatsakis

  committed
  7d2f774

  Copy full SHA for 7d2f774

• improve error messages for specifiers

  nikomatsakis

  committed
  009447b

  Copy full SHA for 009447b

• change default from any to our leased

  nikomatsakis

  committed
  ed6a896

  Copy full SHA for ed6a896

• add tests w/ current temporary lifetime behavior

  Show description for 8079764
  nikomatsakis

  committed
  8079764

  Copy full SHA for 8079764

• fix ref files

  nikomatsakis

  committed
  44adcbd

  Copy full SHA for 44adcbd