Code

Head shape#9

Code

Open

nchataing wants to merge 45 commits intotrunkgasche/ocaml:trunkfrom head_shapegasche/ocaml:head_shapeCopy head branch name to clipboard

+1,855-158

Commits

Commits on Jul 6, 2021

• Add head_shape type

  

  Nicolas Chataing

  authored and

  nchataing

  committed
  992889a

• Adapt datarepr to generate head_shape thunks in unboxed constructors

  

  Nicolas Chataing

  authored and

  nchataing

  committed
  e987258

• Add dump option for head shapes

  

  Nicolas Chataing

  authored and

  nchataing

  committed
  462656a

Commits on Jul 15, 2021

• Add head_shape computing algorithm

  

  Nicolas Chataing

  authored and

  nchataing

  committed
  5013782

• sw_num{non}consts fix

  

  Nicolas Chataing

  authored and

  nchataing

  committed
  86da520

• Add tests

  

  Nicolas Chataing

  authored and

  nchataing

  committed
  7841d30

• WIP: restrict matching test to ocamlc.byte-only

  

  collaprog

  authored and

  nchataing

  committed
  6f61925

• Variant data refactoring

  nchataing

  committed
  c79987f

• Move variant_data binding (and add comment)

  nchataing

  committed
  d9cb31d

• replace invalid arg by an assert false

  nchataing

  committed
  e2f46e4

• document typing/types.mli + renamings

  

  gasche

  authored and

  nchataing

  committed
  29437d6

• document typedecl_unboxed.ml{,i}

  

  gasche

  authored and

  nchataing

  committed
  658e627

• document changes in lambda/matching.ml

  

  gasche

  authored and

  nchataing

  committed
  5615005

• document our disappointing bytecode generation

  

  gasche

  authored and

  nchataing

  committed
  3c2c631

• a TODO item with a concrete proposal for more compact bytecode

  

  gasche

  authored and

  nchataing

  committed
  8d1058a

• Compile switch with a Pisint if the any_const case action is Some.

  nchataing

  committed
  aa6192a

• refactoring commit

  

  gasche

  authored and

  nchataing

  committed
  75330c0

• Revert "refactoring commit"

  Show description for 5674bfe
  

  gasche

  authored and

  nchataing

  committed
  5674bfe

Commits on Aug 25, 2021

• RAEDME.head_shape.md: prepare a description for PR submission

  gasche

  committed
  e4c7ccc

Commits on Aug 29, 2021

• PR description: describe the implementation

  gasche

  committed
  4c66957

• spec: why we are not turning imm/tag into constructed types

  gasche

  committed
  13548e6

• [minor] typedecl_unboxed: refactor into Head_shape.of_primitive_type

  gasche

  committed
  678ac93

• [minor] matching.ml: sum/product refactoring for Cases

  gasche

  committed
  a7abc2a

• update README.head_shape

  gasche

  committed
  d71b6f5

Commits on Aug 30, 2021

• split the head-shape spec in two files, specification (-> RFC) and implementation (-> PR)

  gasche

  committed
  b9feb70

Commits on Sep 3, 2021

• rephrase the separability proposal

  gasche

  committed
  f3a8838

Commits on Sep 4, 2021

• Update HEAD_SHAPE.spec.md

  nchataing

  authored
  a6691d1

Commits on Sep 7, 2021

• [minor] more code markers

  gasche

  committed
  cede37e

• slightly more in .impl.md

  gasche

  committed
  3143ee5

• mention separability in the spec

  gasche

  committed
  6d238a5

Commits on Sep 9, 2021

• HEAD_SHAPE.impl.md: add genprintval handling in the TODO

  gasche

  committed
  a3702ed

• [minor] genprintval.ml: helper functions to print variant/record values

  gasche

  committed
  cacade1

Commits on Sep 10, 2021

• [minor] genprintval.ml: clarify exception flow

  gasche

  committed
  e0aa910

Commits on Sep 14, 2021

• [WIP] Typedecl_unboxed: new operations on head shapes

  Show description for 66bf695
  gasche

  committed
  66bf695

• head_shape: expose printer for debugging

  gasche

  committed
  76c0062

• toplevel/genprintval.ml: support unboxed constructors

  gasche

  committed
  e705659

• [refactoring] Outcometree: introduce a record type for constructors

  gasche

  committed
  22c5041

• outcometree: print [@unboxed] attributes

  gasche

  committed
  58260e3

Commits on Sep 16, 2021

• oops: restore the fatal error when declaring conflicting types

  Show description for 717e88b
  gasche

  committed
  717e88b

• more precise head shape for function types

  Show description for 7ad168f
  gasche

  committed
  7ad168f

Commits on Sep 21, 2021

• separability

  nchataing

  committed
  5c5336d

• fix bug with global [@@unboxed] annotation

  nchataing

  committed
  45f2c11

• update the testsuite

  gasche

  committed
  6a8c98e

• head_shape: change separability computation (still unfinished)

  gasche

  committed
  44dc585

Commits on Mar 22, 2022

• head-shape spec: genprintval is done

  gasche

  committed
  d983c43