Code

Ultimate conditional syntax#150

Code

Merged

LPTK merged 108 commits intohkust-taco:mlscripthkust-taco/mlscript:mlscriptfrom chengluyu:ucs-translationchengluyu/mlscript:ucs-translationCopy head branch name to clipboardNov 29, 2022

Commits

Commits on Oct 5, 2022

• Add variable symbols inserted by Typer

  LPTK

  committed
  0601333

  Copy full SHA for 0601333

Commits on Oct 13, 2022

• Wire the desugaring logic with the typer

  chengluyu

  committed
  0dd6518

  Copy full SHA for 0dd6518

• Make some tests work

  chengluyu

  committed
  899dcf8

  Copy full SHA for 899dcf8

Commits on Oct 20, 2022

• Refactor DiffTests so code generation is after type checking

  Show description for 1d435fa
  chengluyu

  committed
  1d435fa

  Copy full SHA for 1d435fa

• Add some currently failing tests

  LPTK

  committed
  4c11d87

  Copy full SHA for 4c11d87

• Implement code generation for the new syntax

  chengluyu

  committed
  ed1efa5

  Copy full SHA for ed1efa5

Commits on Oct 21, 2022

• Revert removing a DiffTests regression

  chengluyu

  committed
  868af30

  Copy full SHA for 868af30

• Report error if field els is missing in If

  chengluyu

  committed
  d06585f

  Copy full SHA for d06585f

Commits on Oct 22, 2022

• Pretty-print debug outputs

  chengluyu

  committed
  cbc8688

  Copy full SHA for cbc8688

• Fix some test cases

  Show description for 5c2a8b2
  chengluyu

  committed
  5c2a8b2

  Copy full SHA for 5c2a8b2

Commits on Oct 24, 2022

• Show the wrong syntax tree by :p

  chengluyu

  committed
  42e8b13

  Copy full SHA for 42e8b13

Commits on Oct 25, 2022

• Migrate test cases from the old branch

  chengluyu

  committed
  a3ced76

  Copy full SHA for a3ced76

• Wrap some test cases in functions

  chengluyu

  committed
  8292da5

  Copy full SHA for 8292da5

• Handle more UCS cases

  Show description for 787e69d
  chengluyu

  committed
  787e69d

  Copy full SHA for 787e69d

Commits on Oct 26, 2022

• Rectify a false positive

  chengluyu

  committed
  7fa00ff

  Copy full SHA for 7fa00ff

• Handle wildcard cases and dedup let bindings

  chengluyu

  committed
  841fd22

  Copy full SHA for 841fd22

• Fix cases in DirectLines.mls

  chengluyu

  committed
  39ee376

  Copy full SHA for 39ee376

• Review test cases in Humiliation.mls

  chengluyu

  committed
  967a2d3

  Copy full SHA for 967a2d3

• Implement basic exhaustiveness check

  chengluyu

  committed
  5e3fce0

  Copy full SHA for 5e3fce0

• Suppor tuple pattern syntax and improve defualt case propagation

  chengluyu

  committed
  3fe4565

  Copy full SHA for 3fe4565

• Handle IfOpsApp at the pattern position

  chengluyu

  committed
  a8b1052

  Copy full SHA for a8b1052

• Review test cases

  chengluyu

  committed
  c304723

  Copy full SHA for c304723

• Fix my stupid double negation phrasing

  chengluyu

  committed
  0e9a09e

  Copy full SHA for 0e9a09e

• Check the test case mentioned in Telegram chat

  chengluyu

  committed
  e0d976f

  Copy full SHA for e0d976f

• Add missing test file changes

  chengluyu

  committed
  dfa5cec

  Copy full SHA for dfa5cec

• Embed UCS related code to a layer in the cake pattern

  chengluyu

  committed
  f0b2e18

  Copy full SHA for f0b2e18

• Get rid of Typer#Ctx

  chengluyu

  committed
  77aad6b

  Copy full SHA for 77aad6b

Commits on Oct 27, 2022

• Adjust methods due to the previous refactor

  chengluyu

  committed
  e7a1fc6

  Copy full SHA for e7a1fc6

• Reduce boilerplate by implementing an ADT for PartialTerm

  chengluyu

  committed
  b283378

  Copy full SHA for b283378

• Organize branches in desugarIf

  chengluyu

  committed
  ada0e7a

  Copy full SHA for ada0e7a

• Localize scrutinee if it is not a Var

  chengluyu

  committed
  f1e57d1

  Copy full SHA for f1e57d1

Commits on Nov 8, 2022

• Implement interleaved let bindings

  Show description for 54de014
  chengluyu

  committed
  54de014

  Copy full SHA for 54de014

Commits on Nov 9, 2022

• Merge branch 'ucs-translation' of github.com:hkust-taco/mlscript into ucs-translation

  chengluyu

  committed
  80a66ee

  Copy full SHA for 80a66ee

• Gather parser failure examples

  chengluyu

  committed
  6ce327c

  Copy full SHA for 6ce327c

• Prepare for improving error messages

  chengluyu

  committed
  f1db324

  Copy full SHA for f1db324

• Improve error messages but it's still far from perfect

  chengluyu

  committed
  ca093d0

  Copy full SHA for ca093d0

• Inspect test files and mark problematic tests

  chengluyu

  committed
  10aa691

  Copy full SHA for 10aa691

Commits on Nov 10, 2022

• Add an additional test suggested in the PR

  chengluyu

  committed
  2a54460

  Copy full SHA for 2a54460

• Fix the mapPartition test and add some related tests

  chengluyu

  committed
  8029543

  Copy full SHA for 8029543

• Implement a basic solution to type errors at desugared terms

  chengluyu

  committed
  4486820

  Copy full SHA for 4486820

• Split UltimateConditions into smaller files

  chengluyu

  committed
  3108486

  Copy full SHA for 3108486

Commits on Nov 12, 2022

• Tracking locations everywhere!

  Show description for e145de8
  chengluyu

  committed
  e145de8

  Copy full SHA for e145de8

Commits on Nov 13, 2022

• Show IfBody in the inspect method

  chengluyu

  committed
  6af229d

  Copy full SHA for 6af229d

• Move UCS tests to a new folder

  chengluyu

  committed
  a78475e

  Copy full SHA for a78475e

Commits on Nov 15, 2022

• Fix the exhaustiveness checker

  chengluyu

  committed
  588f69e

  Copy full SHA for 588f69e

• Fix that UCS expressions return nothing

  chengluyu

  committed
  3418524

  Copy full SHA for 3418524

• Warn of pattern matching with only one case

  chengluyu

  committed
  6f3b96a

  Copy full SHA for 6f3b96a

Commits on Nov 16, 2022

• Support nested tuple patterns produced by the Ocaml parser

  chengluyu

  committed
  2cd2c0b

  Copy full SHA for 2cd2c0b

• Add some tests from previous meeting

  LPTK

  committed
  123f1b1

  Copy full SHA for 123f1b1

Commits on Nov 22, 2022

• Clean up tests

  chengluyu

  committed
  5ddf361

  Copy full SHA for 5ddf361

• Merge branch 'ucs-translation' of github.com:chengluyu/mlscript into ucs-translation

  chengluyu

  committed
  3eaf7cd

  Copy full SHA for 3eaf7cd

• Add locations to duplicated else branch warnings

  chengluyu

  committed
  bb4bcdb

  Copy full SHA for bb4bcdb

• Merge branch 'mlscript' into ucs-translation

  chengluyu

  authored
  50cb72f

  Copy full SHA for 50cb72f

• Commit changed files changed by the GitHub merge

  chengluyu

  committed
  4cdd1dd

  Copy full SHA for 4cdd1dd

• Add more changed tests

  chengluyu

  committed
  43dc8e1

  Copy full SHA for 43dc8e1

• Minor

  LPTK

  committed
  298edc3

  Copy full SHA for 298edc3

Commits on Nov 23, 2022

• Update shared/src/main/scala/mlscript/ucs/Scrutinee.scala

  Show description for 1f6e41b
  

  chengluyu

  and

  LPTK

  authored
  1f6e41b

  Copy full SHA for 1f6e41b

• Update shared/src/main/scala/mlscript/ucs/Scrutinee.scala

  Show description for e762c18
  

  chengluyu

  and

  LPTK

  authored
  e762c18

  Copy full SHA for e762c18

• Update shared/src/main/scala/mlscript/ucs/Clause.scala

  Show description for 20580e3
  

  chengluyu

  and

  LPTK

  authored
  20580e3

  Copy full SHA for 20580e3

• Handle Lit in makeScrutinee

  chengluyu

  committed
  308a09d

  Copy full SHA for 308a09d

• Remove useless re-throw

  chengluyu

  committed
  8005611

  Copy full SHA for 8005611

• Remove an useless import

  chengluyu

  committed
  fa948a7

  Copy full SHA for fa948a7

• Mark two test cases as FIXME

  chengluyu

  committed
  7243b52

  Copy full SHA for 7243b52

• Call lastWords in some unreachable cases

  chengluyu

  committed
  2540828

  Copy full SHA for 2540828

• Remove an unused commented code

  chengluyu

  committed
  c253fe6

  Copy full SHA for c253fe6

• Remove an outdated to-do

  chengluyu

  committed
  a48e88b

  Copy full SHA for a48e88b

• Make Conjunction a class

  chengluyu

  committed
  b360168

  Copy full SHA for b360168

• Identify scrutinees not only by terms but also by locations

  chengluyu

  committed
  e759658

  Copy full SHA for e759658

• Move Scrutinee.matchRootLoc to the second parameter list

  chengluyu

  committed
  41ae122

  Copy full SHA for 41ae122

• Move Clause.locations to the second parameter list

  chengluyu

  committed
  f25d488

  Copy full SHA for f25d488

• Hide minor UCS desugaring debug messages

  chengluyu

  committed
  b426842

  Copy full SHA for b426842

• Remove debug output from UCS test files

  chengluyu

  committed
  b18dae8

  Copy full SHA for b18dae8

• Remove dead code, add comments and die for unreachable cases

  chengluyu

  committed
  8ee63e5

  Copy full SHA for 8ee63e5

• Revert two misuse of lastWords

  chengluyu

  committed
  f06a2b9

  Copy full SHA for f06a2b9

• I just knew how to use // FIXME in DiffTests

  chengluyu

  committed
  6fe7cca

  Copy full SHA for 6fe7cca

• Use IdentityHashMap as a workaround

  chengluyu

  committed
  feb4511

  Copy full SHA for feb4511

Commits on Nov 24, 2022

• Add TODO and use it at rare cases

  chengluyu

  committed
  c524283

  Copy full SHA for c524283

• Prefer desugaredFrom than withLoc

  chengluyu

  committed
  65c9883

  Copy full SHA for 65c9883

• Update shared/src/main/scala/mlscript/ucs/Conjunction.scala

  Show description for bfd43d4
  

  chengluyu

  and

  LPTK

  authored
  bfd43d4

  Copy full SHA for bfd43d4

• Update shared/src/main/scala/mlscript/ucs/Conjunction.scala

  Show description for 86e3a86
  

  chengluyu

  and

  LPTK

  authored
  86e3a86

  Copy full SHA for 86e3a86

• Update shared/src/main/scala/mlscript/ucs/PartialTerm.scala

  Show description for 25b78f4
  

  chengluyu

  and

  LPTK

  authored
  25b78f4

  Copy full SHA for 25b78f4

• Update shared/src/main/scala/mlscript/ucs/DesugaringException.scala

  Show description for d64e92c
  

  chengluyu

  and

  LPTK

  authored
  d64e92c

  Copy full SHA for d64e92c

• Remove unused MutExhaustivenessMap

  chengluyu

  committed
  e86de28

  Copy full SHA for e86de28

• Simplify DesugaringException

  chengluyu

  committed
  e6ed1ac

  Copy full SHA for e6ed1ac

• Remove duplicated code in PartialTerm

  chengluyu

  committed
  d364bf1

  Copy full SHA for d364bf1

• Remove unnecessary override specifiers

  chengluyu

  committed
  dedead3

  Copy full SHA for dedead3

• Remove unnecessary override

  chengluyu

  committed
  1926e2f

  Copy full SHA for 1926e2f

• Remove unnecessary implicits

  chengluyu

  committed
  db530b5

  Copy full SHA for db530b5

• Update shared/src/main/scala/mlscript/helpers.scala

  Show description for e2b3fac
  

  chengluyu

  and

  LPTK

  authored
  e2b3fac

  Copy full SHA for e2b3fac

• Change the key of FieldAliasMap to SimpleTerm

  Show description for 075ac1d
  chengluyu

  committed
  075ac1d

  Copy full SHA for 075ac1d

• Check if name exists in freshName

  chengluyu

  committed
  fd48cbb

  Copy full SHA for fd48cbb

• Add a failed case about split scrutinees

  chengluyu

  committed
  2459338

  Copy full SHA for 2459338

• Fix the bug shown by the previous commit

  chengluyu

  committed
  50c1d8b

  Copy full SHA for 50c1d8b

Commits on Nov 25, 2022

• Add a couple of new tests

  LPTK

  committed
  7d6384d

  Copy full SHA for 7d6384d

• Fix parser precedences and generalize Term desugaring scheme

  LPTK

  committed
  91a7f8c

  Copy full SHA for 91a7f8c

• It seems that blank lines are created by a solved bug

  chengluyu

  committed
  ec8e7cc

  Copy full SHA for ec8e7cc

• Check out mlscript/*.mls from the main branch

  chengluyu

  committed
  2a7713c

  Copy full SHA for 2a7713c

• Append more test files

  chengluyu

  committed
  cb9c234

  Copy full SHA for cb9c234

• Revert "Append more test files"

  Show description for 47a3769
  chengluyu

  committed
  47a3769

  Copy full SHA for 47a3769

• Revert "Check out mlscript/*.mls from the main branch"

  Show description for f72054e
  chengluyu

  committed
  f72054e

  Copy full SHA for f72054e

• Revert "It seems that blank lines are created by a solved bug"

  Show description for def757c
  chengluyu

  committed
  def757c

  Copy full SHA for def757c

Commits on Nov 26, 2022

• Checkout files at basics, codegen and gen from the fork origin

  Show description for 35fee65
  chengluyu

  committed
  35fee65

  Copy full SHA for 35fee65

• Checkout files at mlscript and typegen from the fork origin

  chengluyu

  committed
  02cede5

  Copy full SHA for 02cede5

• Remove blank lines from files at nu

  chengluyu

  committed
  b4c195c

  Copy full SHA for b4c195c

• Prevent too much changes in PR hkust-taco#150

  chengluyu

  committed
  a06cb37

  Copy full SHA for a06cb37

• Keep the original order between types, diagnosis and results

  chengluyu

  committed
  984cfe2

  Copy full SHA for 984cfe2

• Clean up DiffTests

  chengluyu

  committed
  407fcad

  Copy full SHA for 407fcad

Commits on Nov 29, 2022

• Minor UCS PR polishing

  LPTK

  committed
  301e4d0

  Copy full SHA for 301e4d0