Code

Adding documentation for subtyping#1990

Code

Merged

yannham merged 28 commits intotweag:mastertweag/nickel:masterfrom Eckaos:subtyping/Record_Dictionary_Documentation_TestsEckaos/nickel:subtyping/Record_Dictionary_Documentation_TestsCopy head branch name to clipboardJul 29, 2024

+94-2

Commits

Commits on Jun 25, 2024

• Add subsumption rule between Record/Dictionary

  Eckaos

  committed
  35ff633

  Copy full SHA for 35ff633

• Remove commented code

  Eckaos

  committed
  abbbe1f

  Copy full SHA for abbbe1f

Commits on Jun 26, 2024

• Remove clone in pattern match, replaced fold by a for loop, take into account TailUnifVar and TailConstant

  Eckaos

  committed
  00a9537

  Copy full SHA for 00a9537

Commits on Jun 27, 2024

• Update & add comments

  Eckaos

  committed
  c99634e

  Copy full SHA for c99634e

• Add integration tests

  Eckaos

  committed
  bb20fc9

  Copy full SHA for bb20fc9

Commits on Jul 3, 2024

• add test with chaining std function on records

  Eckaos

  committed
  9e0f0e4

  Copy full SHA for 9e0f0e4

Commits on Jul 4, 2024

• add manual documentation for record/dictionary subtyping

  Eckaos

  committed
  f6cd3ab

  Copy full SHA for f6cd3ab

Commits on Jul 6, 2024

• Merge branch 'tweag:master' into subtyping/Record_Dictionary_Documentation_Tests

  Eckaos

  authored
  bfeb094

  Copy full SHA for bfeb094

Commits on Jul 8, 2024

• Merge branch 'tweag:master' into subtyping/Record_Dictionary_Documentation_Tests

  Eckaos

  authored
  6bb2e6a

  Copy full SHA for 6bb2e6a

Commits on Jul 17, 2024

• Modify manual

  Eckaos

  committed
  871a0bf

  Copy full SHA for 871a0bf

• Changing contract to typing

  Eckaos

  committed
  65ed749

  Copy full SHA for 65ed749

Commits on Jul 18, 2024

• Update core/tests/integration/inputs/typecheck/chaining_dictionary_function_record_dictionary_subtyping.ncl

  Show description for af81a9f
  

  Eckaos

  and

  yannham

  authored
  af81a9f

  Copy full SHA for af81a9f

• Update doc/manual/typing.md

  Show description for a71465e
  

  Eckaos

  and

  yannham

  authored
  a71465e

  Copy full SHA for a71465e

• Fix test

  Eckaos

  committed
  a95489e

  Copy full SHA for a95489e

Commits on Jul 19, 2024

• Add motivation

  Eckaos

  committed
  4c8b493

  Copy full SHA for 4c8b493

• Merge branch 'tweag:master' into subtyping/Record_Dictionary_Documentation_Tests

  Eckaos

  authored
  9709082

  Copy full SHA for 9709082

• Fix code example

  Eckaos

  committed
  2d7a14b

  Copy full SHA for 2d7a14b

Commits on Jul 22, 2024

• Add Array/Array and Dictionary/Dictionary subtyping documentation

  Eckaos

  committed
  759eafb

  Copy full SHA for 759eafb

• Fix code (does not fix TypecheckError)

  Eckaos

  committed
  d0b1a1e

  Copy full SHA for d0b1a1e

Commits on Jul 23, 2024

• Fix code examples (does fix errors)

  Eckaos

  committed
  c22f2a1

  Copy full SHA for c22f2a1

• Fix subsumption

  Eckaos

  committed
  292e84f

  Copy full SHA for 292e84f

Commits on Jul 24, 2024

• Fix subsumption

  Eckaos

  committed
  3bb123b

  Copy full SHA for 3bb123b

• Improve the manual section on subtyping

  yannham

  committed
  b9db772

  Copy full SHA for b9db772

Commits on Jul 25, 2024

• Add generic example to work around function subsumption

  Eckaos

  committed
  d824ff0

  Copy full SHA for d824ff0

Commits on Jul 26, 2024

• Update doc/manual/typing.md

  yannham

  authored
  d94da2b

  Copy full SHA for d94da2b

• Update doc/manual/typing.md

  yannham

  authored
  e1f837e

  Copy full SHA for e1f837e

• Fix format problem

  Eckaos

  committed
  107d6a5

  Copy full SHA for 107d6a5

Commits on Jul 29, 2024

• Update doc/manual/typing.md

  yannham

  authored
  77773a9

  Copy full SHA for 77773a9