Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 9, 2024

• Format main sources with smlfmt

  Show description for 404d276
  minoki

  committed
  404d276

  Copy full SHA for 404d276

Commits on Feb 11, 2024

• Type checker: Early error for constrained type variables

  minoki

  committed
  3232c88

  Copy full SHA for 3232c88

Commits on Feb 6, 2024

• Merge NoField and IsRecord constraints

  minoki

  committed
  7cbea10

  Copy full SHA for 7cbea10

• Refactor type constraint solver

  minoki

  committed
  2ce6361

  Copy full SHA for 2ce6361

Commits on Jan 27, 2024

• Erase unused variables and fix several typos

  minoki

  committed
  fbe8852

  Copy full SHA for fbe8852

Commits on Jan 24, 2024

• Write more signatures and add compatibility shim for ORD_SET/ORD_MAP

  minoki

  committed
  2328b82

  Copy full SHA for 2328b82

• Remove unused or redundant constraints

  minoki

  committed
  5d59035

  Copy full SHA for 5d59035

Commits on Oct 16, 2023

• Change the starting symbol of valDescInComments from (*! to (*:

  minoki

  committed
  f429aff

  Copy full SHA for f429aff

Commits on Jul 29, 2023

• Support ES import and remove JavaScript.require

  minoki

  committed
  e63d342

  Copy full SHA for e63d342

Commits on Jul 25, 2023

• Allow reporting multiple "unknown value name" errors

  minoki

  committed
  f2b718e

  Copy full SHA for f2b718e

Commits on Jul 1, 2023

• Eliminate GroupDec and allow F.LetExp to hold multiple declarations

  minoki

  committed
  94fadc3

  Copy full SHA for 94fadc3

Commits on Jun 14, 2023

• Implement "sequenceNonUnit" MLB annotation

  minoki

  committed
  a0fc36c

  Copy full SHA for a0fc36c

• Enable value description in comments in LunarML's code

  minoki

  committed
  579c4d8

  Copy full SHA for 579c4d8

Commits on Jun 13, 2023

• Value description in comments

  minoki

  committed
  a2aa01b

  Copy full SHA for a2aa01b

Commits on Jun 4, 2023

• Better error/warning handling

  minoki

  committed
  dff6235

  Copy full SHA for dff6235

Commits on May 31, 2023

• Store result type of match in syntax tree

  minoki

  committed
  dce1e5f

  Copy full SHA for dce1e5f

• Change desugaring of pattern match in val

  Show description for 5132d00
  minoki

  committed
  5132d00

  Copy full SHA for 5132d00

Commits on May 20, 2023

• FSyntax: Store the set of all fields in record pattern

  minoki

  committed
  94e5b4f

  Copy full SHA for 94e5b4f

Commits on Apr 17, 2023

• Add a module for strongly connected components

  minoki

  committed
  24791ea

  Copy full SHA for 24791ea

Commits on Mar 7, 2023

• Use hash table for usage analysis

  minoki

  committed
  a07822b

  Copy full SHA for a07822b

Commits on Dec 8, 2022

• Make TypedSyntax.VIdKey.compare faster

  minoki

  committed
  87ee6f5

  Copy full SHA for 87ee6f5

Commits on Jun 26, 2022

• Fix type inference of recursive bindings

  minoki

  committed
  f2238a3

  Copy full SHA for f2238a3

Commits on Jun 25, 2022

• Use level-based generalization (eager variant)

  Show description for 3e76587
  minoki

  committed
  3e76587

  Copy full SHA for 3e76587

Commits on Jun 23, 2022

• Refactor treatment of type variables

  minoki

  committed
  56aaafd

  Copy full SHA for 56aaafd

Commits on May 10, 2022

• Change representation of ExnConPat

  minoki

  committed
  8577f52

  Copy full SHA for 8577f52

Commits on May 9, 2022

• Make desugaring of patterns less type-directed

  minoki

  committed
  1d32b62

  Copy full SHA for 1d32b62

• Change representation of IdStatus

  minoki

  committed
  bc6e147

  Copy full SHA for bc6e147

• Don't store source span in UnaryConstraint

  minoki

  committed
  e7cb6ec

  Copy full SHA for e7cb6ec

• Get rid of 'eq' field of NamedTyVar

  minoki

  committed
  9eca625

  Copy full SHA for 9eca625

Commits on May 8, 2022

• Rename USyntax -> TypedSyntax

  minoki

  committed
  cbffa43

  Copy full SHA for cbffa43

• Make equality for primitive types library-defined

  minoki

  committed
  fac4d07

  Copy full SHA for fac4d07

Commits on Apr 25, 2022

• Use code generation for management of primitives

  minoki

  committed
  2897643

  Copy full SHA for 2897643

Commits on Feb 2, 2022

• Use smaller scope for type inference

  minoki

  committed
  97f0dca

  Copy full SHA for 97f0dca

Commits on Jan 16, 2022

• Implement record extension expressions

  minoki

  committed
  99ad342

  Copy full SHA for 99ad342

• Support record extension in patterns

  minoki

  committed
  550822e

  Copy full SHA for 550822e

Pagination

Previous

Next