Code

Improvements and fixes for UCS#157

Code

Merged

LPTK merged 58 commits intohkust-taco:new-definition-typinghkust-taco/mlscript:new-definition-typingfrom chengluyu:ucs-paperchengluyu/mlscript:ucs-paperCopy head branch name to clipboardMay 22, 2023

+4,479-889

Commits

Commits on Feb 21, 2023

• Add examples from meeting

  LPTK

  committed
  d93e0d6

  Copy full SHA for d93e0d6

Commits on Mar 11, 2023

• Add ne and eq to the JS polyfill

  chengluyu

  committed
  d76b9b0

  Copy full SHA for d76b9b0

• No longer report inexhaustiveness when there is a default branch

  chengluyu

  committed
  4f0f870

  Copy full SHA for 4f0f870

• Add an incomplete implementation of untyped lambda calculus

  chengluyu

  committed
  f7f0418

  Copy full SHA for f7f0418

Commits on Mar 12, 2023

• Support alias clauses and complete the ULC test cases

  chengluyu

  committed
  03a28b8

  Copy full SHA for 03a28b8

• Update test files due to previous commits

  chengluyu

  committed
  d30b9c9

  Copy full SHA for d30b9c9

• Add incomplete SLTC and built-in string comparison functions

  chengluyu

  committed
  2a7a5a7

  Copy full SHA for 2a7a5a7

• Fix missing interleaved let bindings in nested branches

  chengluyu

  committed
  3d1018b

  Copy full SHA for 3d1018b

• Fix unhygienically extracting positional class parameters

  chengluyu

  committed
  67513c1

  Copy full SHA for 67513c1

• Merge remote-tracking branch 'lptk-fork/new-definition-typing' into ucs-paper

  chengluyu

  committed
  84b9ba7

  Copy full SHA for 84b9ba7

Commits on Mar 13, 2023

• Use :NewDefs in lambda calculus test cases

  chengluyu

  committed
  e4dbbf7

  Copy full SHA for e4dbbf7

• Gather lambda calculus test files

  chengluyu

  committed
  3c9f9a1

  Copy full SHA for 3c9f9a1

Commits on Mar 14, 2023

• Add incomplete JSON test cases and support escape chars in Lexer

  chengluyu

  committed
  a9c80d8

  Copy full SHA for a9c80d8

• Merge remote-tracking branch 'lptk-fork/new-definition-typing' into ucs-paper

  chengluyu

  committed
  e7a9dd5

  Copy full SHA for e7a9dd5

• Append test file updates

  chengluyu

  committed
  556eb26

  Copy full SHA for 556eb26

• No duplication when the else branch is taken at least once

  chengluyu

  committed
  32c70de

  Copy full SHA for 32c70de

• Add a more essential test case

  chengluyu

  committed
  c8ddd6e

  Copy full SHA for c8ddd6e

Commits on Mar 15, 2023

• Remove syntax highlight overrides for .mls files

  chengluyu

  committed
  aab8d27

  Copy full SHA for aab8d27

• No longer translate literal patterns to == applications

  chengluyu

  committed
  fef2c0c

  Copy full SHA for fef2c0c

• Categorize let bindings so no longer missing alias patterns

  chengluyu

  committed
  8ac73ee

  Copy full SHA for 8ac73ee

• Improve warnings of duplicated branches

  chengluyu

  committed
  c8707c5

  Copy full SHA for c8707c5

• Improve the debug display of MutCaseOf

  chengluyu

  committed
  73dee4c

  Copy full SHA for 73dee4c

Commits on Mar 16, 2023

• Fix duplicated interleaved bindings and missing alias bindings

  Show description for e0f426a
  chengluyu

  committed
  e0f426a

  Copy full SHA for e0f426a

• Gather exhaustiveness information on the fly

  chengluyu

  committed
  1784ecb

  Copy full SHA for 1784ecb

• Support basic else if composition

  chengluyu

  committed
  09a0fb9

  Copy full SHA for 09a0fb9

Commits on Mar 17, 2023

• Support wildcard followed by more clauses

  chengluyu

  committed
  ae1ca13

  Copy full SHA for ae1ca13

• Ignore .DS_Store :^(

  chengluyu

  committed
  281bb1d

  Copy full SHA for 281bb1d

• Add more _ and t-like test cases

  chengluyu

  committed
  6283351

  Copy full SHA for 6283351

• Support wildcard followed by clauses by copying existing wildcard

  chengluyu

  committed
  14344e6

  Copy full SHA for 14344e6

• Fix making module names (e.g. None) as positional binding names

  chengluyu

  committed
  9997ddf

  Copy full SHA for 9997ddf

• Use the new definition typing on SplitAroundOp.mls

  chengluyu

  committed
  f5ba540

  Copy full SHA for f5ba540

• Add an interesting case in LitUCS.mls.

  chengluyu

  committed
  f036769

  Copy full SHA for f036769

• Add an interleaved let example revealing a code generation problem

  chengluyu

  committed
  d972ee3

  Copy full SHA for d972ee3

• Improve the warning message for duplicated branches

  chengluyu

  committed
  a2a5180

  Copy full SHA for a2a5180

• Fix all warnings

  chengluyu

  committed
  15d0c57

  Copy full SHA for 15d0c57

• Fix warnings and make CI happy :-P

  chengluyu

  committed
  24c4386

  Copy full SHA for 24c4386

• Mark expected errors and warnings

  chengluyu

  committed
  1bd5ee7

  Copy full SHA for 1bd5ee7

• Fix the parameter error in the previous CI fix

  chengluyu

  committed
  572e618

  Copy full SHA for 572e618

Commits on Mar 18, 2023

• Remove two FIXME in MultiwayIf.mls

  chengluyu

  committed
  4963caa

  Copy full SHA for 4963caa

• Fix temporary name generation in JSBackend

  chengluyu

  committed
  8b40fec

  Copy full SHA for 8b40fec

• Always check the exhaustiveness of the outer if-then-else first

  chengluyu

  committed
  9eb14bd

  Copy full SHA for 9eb14bd

Commits on Mar 22, 2023

• Add test cases in the poster and gather parse failures

  chengluyu

  committed
  e227ec3

  Copy full SHA for e227ec3

Commits on Mar 23, 2023

• Support subclass refinement and preemptive wildcard branches

  chengluyu

  committed
  9a8e6aa

  Copy full SHA for 9a8e6aa

• Consume MatchAny and try to merge inexhaustive branches

  chengluyu

  committed
  522f8fb

  Copy full SHA for 522f8fb

• Add new UCS test cases

  LPTK

  committed
  a35a416

  Copy full SHA for a35a416

Commits on Mar 26, 2023

• Add zipWith tests

  LPTK

  committed
  96cdb81

  Copy full SHA for 96cdb81

Commits on Apr 4, 2023

• Add a couple small test cases

  LPTK

  committed
  73dcda1

  Copy full SHA for 73dcda1

Commits on Apr 26, 2023

• Support negative integers

  chengluyu

  committed
  b7a7cd5

  Copy full SHA for b7a7cd5

Commits on Apr 30, 2023

• Add some examples of unhygienic let bindings

  chengluyu

  committed
  d168eb5

  Copy full SHA for d168eb5

Commits on May 5, 2023

• Merge remote-tracking branch 'lptk-fork/new-definition-typing' into ucs-paper

  chengluyu

  committed
  f6021f4

  Copy full SHA for f6021f4

• Fix undefined is a keyword

  chengluyu

  committed
  2ff4c7b

  Copy full SHA for 2ff4c7b

• Merge branch 'new-definition-typing' into ucs-paper

  chengluyu

  authored
  ee1ab19

  Copy full SHA for ee1ab19

Commits on May 12, 2023

• Fix comments

  chengluyu

  committed
  66d41f2

  Copy full SHA for 66d41f2

Commits on May 17, 2023

• Update CI: run on all PRs

  LPTK

  committed
  34b1864

  Copy full SHA for 34b1864

Commits on May 18, 2023

• Fix minor problems mentioned in PR comments

  chengluyu

  committed
  70fd442

  Copy full SHA for 70fd442

• Fix the warning in UCS source files

  chengluyu

  committed
  b89fa16

  Copy full SHA for b89fa16

• Try to fix more warnings

  chengluyu

  committed
  14a232a

  Copy full SHA for 14a232a

Commits on May 22, 2023

• Describe FIXME without actual errors

  chengluyu

  committed
  17d05de

  Copy full SHA for 17d05de