Code

Added Array type#79

Code

Merged

LPTK merged 39 commits intomlscripthkust-taco/mlscript:mlscriptfrom array-typehkust-taco/mlscript:array-typeCopy head branch name to clipboardFeb 8, 2022

+1,423-204

Commits

Commits on Jan 15, 2022

• might be broken, but Conjunction seems working

  Meowcolm024

  committed
  bdd4fb7

  Copy full SHA for bdd4fb7

Commits on Jan 17, 2022

• how to add build in QAQ

  Meowcolm024

  committed
  dd05441

  Copy full SHA for dd05441

• wired

  Meowcolm024

  committed
  6c2cb00

  Copy full SHA for 6c2cb00

• Fix Array type internal definition

  LPTK

  committed
  9d8e101

  Copy full SHA for 9d8e101

• Merge pull request #1 from hkust-taco/yicong

  Show description for e89cf25
  Meowcolm024

  authored
  e89cf25

  Copy full SHA for e89cf25

• move to array-type

  Meowcolm024

  committed
  5039670

  Copy full SHA for 5039670

Commits on Jan 18, 2022

• Merge pull request #2 from hkust-taco/mlscript

  Show description for d272722
  Meowcolm024

  authored
  d272722

  Copy full SHA for d272722

• added tests

  Meowcolm024

  committed
  5465409

  Copy full SHA for 5465409

• Merge branch 'array-type' of github.com:Meowcolm024/mlscript into array-type

  Meowcolm024

  committed
  6ddb38a

  Copy full SHA for 6ddb38a

• becomes more wired

  Meowcolm024

  committed
  7a18f9e

  Copy full SHA for 7a18f9e

• fix bug of solving constrains on tuple <! array

  Meowcolm024

  committed
  69d265f

  Copy full SHA for 69d265f

Commits on Jan 19, 2022

• added tests for array type

  Meowcolm024

  committed
  39f44c3

  Copy full SHA for 39f44c3

• bring back tuple <: records

  Show description for c5d0fba
  Meowcolm024

  committed
  c5d0fba

  Copy full SHA for c5d0fba

Commits on Jan 21, 2022

• Merge branch 'mlscript' of into hkust-taco-mlscript

  Meowcolm024

  committed
  aa89219

  Copy full SHA for aa89219

• Merge branch 'hkust-taco-mlscript' into array-type

  Meowcolm024

  committed
  cfb571a

  Copy full SHA for cfb571a

Commits on Jan 24, 2022

• Merge branch 'hkust-taco:mlscript' into array-type

  Meowcolm024

  authored
  a2fe869

  Copy full SHA for a2fe869

Commits on Jan 25, 2022

• update parser

  Meowcolm024

  committed
  dff6f6c

  Copy full SHA for dff6f6c

• update parser

  Meowcolm024

  committed
  1f5eb41

  Copy full SHA for 1f5eb41

• added typer for array subscription

  Meowcolm024

  committed
  0034d6c

  Copy full SHA for 0034d6c

• simpl in Parser.

  Meowcolm024

  committed
  9d1e6e7

  Copy full SHA for 9d1e6e7

Commits on Jan 28, 2022

• Include record of tuple fields in their normal form (TODO simplify them back!)

  LPTK

  committed
  59610cd

  Copy full SHA for 59610cd

• added simpl in tuples

  Meowcolm024

  committed
  677ce3a

  Copy full SHA for 677ce3a

• added tests

  Meowcolm024

  committed
  4d3d74b

  Copy full SHA for 4d3d74b

• bug fix in TyperHelper

  Show description for b975081
  Meowcolm024

  committed
  b975081

  Copy full SHA for b975081

Commits on Feb 4, 2022

• added more tests

  Meowcolm024

  committed
  266071d

  Copy full SHA for 266071d

• Merge branch 'mlscript' into array-type

  Meowcolm024

  committed
  2afdf1c

  Copy full SHA for 2afdf1c

• clean up code & bug fix

  Meowcolm024

  committed
  d5c0e52

  Copy full SHA for d5c0e52

• fixed

  Meowcolm024

  committed
  5c28950

  Copy full SHA for 5c28950

• Merge branch 'mlscript' into array-type

  Meowcolm024

  authored
  9d60a29

  Copy full SHA for 9d60a29

• bug fix in parser (array subscription)

  Meowcolm024

  committed
  42df368

  Copy full SHA for 42df368

Commits on Feb 7, 2022

• tiny improvement

  Meowcolm024

  committed
  6c4045b

  Copy full SHA for 6c4045b

• update

  Meowcolm024

  committed
  336ae37

  Copy full SHA for 336ae37

Commits on Feb 8, 2022

• Add some morte interesting tests (currently failing as expected)

  LPTK

  committed
  6b44c94

  Copy full SHA for 6b44c94

• fix

  Meowcolm024

  committed
  e6f9bb2

  Copy full SHA for e6f9bb2

• Minor

  LPTK

  committed
  eacb66b

  Copy full SHA for eacb66b

• Merge branch 'array-type' of github.com:hkust-taco/mlscript into array-type

  Meowcolm024

  committed
  87ecf43

  Copy full SHA for 87ecf43

• updated tests

  Meowcolm024

  committed
  11a2ba2

  Copy full SHA for 11a2ba2

• update

  Meowcolm024

  committed
  577fc2e

  Copy full SHA for 577fc2e

• cleanup

  Meowcolm024

  committed
  303f1dd

  Copy full SHA for 303f1dd