Code

Algebraic Datatype Renovation#5183

Code

Closed

jld wants to merge 37 commits intorust-lang:incomingrust-lang/rust:incomingfrom

jld:adt-renovationjld/rust:adt-renovationCopy head branch name to clipboard

Commits

Commits on Mar 7, 2013

• Unified algebraic datatype representation implementation, initial version.

  Show description for 626ad48
  jld

  committed
  626ad48

  Copy full SHA for 626ad48

• Convert match on enums to use trans::adt.

  jld

  committed
  c4682dc

  Copy full SHA for c4682dc

• Convert type_of to use trans::adt.

  jld

  committed
  5e2302a

  Copy full SHA for 5e2302a

• Avoid unnecessary casts in struct_GEP

  jld

  committed
  8a17066

  Copy full SHA for 8a17066

• Re-add discriminant range annotations

  jld

  committed
  04ecab9

  Copy full SHA for 04ecab9

• Add a test for enum discriminant range overflow.

  Show description for 7b2b4fa
  jld

  committed
  7b2b4fa

  Copy full SHA for 7b2b4fa

• Handle unit-like types specially.

  Show description for e09a843
  jld

  committed
  e09a843

  Copy full SHA for e09a843

• Wrap const structs in as many LLVM structs as the non-const case.

  Show description for a5030e7
  jld

  committed
  a5030e7

  Copy full SHA for a5030e7

• Factor out discriminant loading more, for use in casts.

  jld

  committed
  b673b26

  Copy full SHA for b673b26

• Renovate expr_tup translation

  jld

  committed
  5cbc257

  Copy full SHA for 5cbc257

• Convert expr_struct to use adt, and try to share code with tuples.

  jld

  committed
  fdd2845

  Copy full SHA for fdd2845

• Renovate nullary variant construction

  jld

  committed
  40313fb

  Copy full SHA for 40313fb

• Renovate field projection expressions

  jld

  committed
  3a4714d

  Copy full SHA for 3a4714d

• Convert the rest of the adt GEPi's in _match

  jld

  committed
  c7325c4

  Copy full SHA for c7325c4

• Add regression tests for a subtle aspect of expr_struct translation.

  Show description for 80844f9
  jld

  committed
  80844f9

  Copy full SHA for 80844f9

• Convert newtype "dereference" to trans::adt.

  Show description for 2a028c5
  jld

  committed
  2a028c5

  Copy full SHA for 2a028c5

• Convert const ADT construction to trans::adt.

  Show description for bb689c0
  jld

  committed
  bb689c0

  Copy full SHA for bb689c0

• Test for struct-like variants in consts

  jld

  committed
  f0c6a8e

  Copy full SHA for f0c6a8e

• Make functional-update struct consts not an ICE

  jld

  committed
  59daf76

  Copy full SHA for 59daf76

• Convert const field extraction to trans::adt

  jld

  committed
  075affa

  Copy full SHA for 075affa

• Renovate cast-to-int

  jld

  committed
  6bb6bab

  Copy full SHA for 6bb6bab

• Move trans_enum_variant to trans::adt.

  Show description for ca450e3
  jld

  committed
  ca450e3

  Copy full SHA for ca450e3

• base::iter_structural_ty: tuples

  jld

  committed
  68b3f0d

  Copy full SHA for 68b3f0d

• base::iter_structural_ty: structs and records

  jld

  committed
  c0f6909

  Copy full SHA for c0f6909

• Convert iter_structural_ty to trans::adt

  jld

  committed
  29d0430

  Copy full SHA for 29d0430

• Convert trans_tuple_struct to trans::adt.

  Show description for 5ca4fdf
  jld

  committed
  5ca4fdf

  Copy full SHA for 5ca4fdf

• glue::trans_struct_drop -> adt

  jld

  committed
  71b6e94

  Copy full SHA for 71b6e94

• Finish removing struct layout dependencies from glue.

  jld

  committed
  b6bcf1a

  Copy full SHA for b6bcf1a

• GC the now-unused old layout helpers

  jld

  committed
  8105da8

  Copy full SHA for 8105da8

• Bonus Fix: typarams are no longer inhabited

  jld

  committed
  a8237a4

  Copy full SHA for a8237a4

• Memoize trans::adt::represent_type

  jld

  committed
  a9026c7

  Copy full SHA for a9026c7

• Add lots of comments to adt.rs, and some minor cleanup.

  jld

  committed
  d6acb96

  Copy full SHA for d6acb96

• A little more cosmetic cleanup

  jld

  committed
  8dca7be

  Copy full SHA for 8dca7be

• trans_cast_to_int is hard to explain; make it trans_get_discr instead.

  jld

  committed
  6840b48

  Copy full SHA for 6840b48

• Even more comments for ADT-related interfaces

  jld

  committed
  e13111f

  Copy full SHA for e13111f

• adt.rs renaming: "field" rather than "element"; set_discr -> start_init.

  Show description for 1f9bc64
  jld

  committed
  1f9bc64

  Copy full SHA for 1f9bc64

• GC now-unused imports

  jld

  committed
  a69ec17

  Copy full SHA for a69ec17