Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Jul 4, 2025

• Partial fix for the case when two dirt params are equal

  Show description for cda74fd
  matijapretnar

  committed
  cda74fdView commit details

  Copy full SHA for cda74fd

  View code at this pointBrowse repository at this point

Commits on May 24, 2023

• Apply substitution to effect signatures

  Show description for c754534
  matijapretnar

  committed
  c754534View commit details

  Copy full SHA for c754534

  View code at this pointBrowse repository at this point

Commits on Mar 30, 2023

• Update README

  matijapretnar

  committed
  ba0424fView commit details

  Copy full SHA for ba0424f

  View code at this pointBrowse repository at this point

• Update formatting

  matijapretnar

  committed
  7158154View commit details

  Copy full SHA for 7158154

  View code at this pointBrowse repository at this point

Commits on Jun 6, 2022

• Fixes value restriction on toplevel handlers

  jO-Osko

  committed
  cc7b6bbView commit details

  Copy full SHA for cc7b6bb

  View code at this pointBrowse repository at this point

Commits on Jan 8, 2022

• Simplify handler inference

  matijapretnar

  committed
  c1490edView commit details

  Copy full SHA for c1490ed

  View code at this pointBrowse repository at this point

Commits on Jan 7, 2022

• Clean up effects

  matijapretnar

  committed
  5753e1aView commit details

  Copy full SHA for 5753e1a

  View code at this pointBrowse repository at this point

• Clean up infer_rec_definitions

  matijapretnar

  committed
  194471bView commit details

  Copy full SHA for 194471b

  View code at this pointBrowse repository at this point

• Simplify inference of let bindings

  matijapretnar

  committed
  89900c0View commit details

  Copy full SHA for 89900c0

  View code at this pointBrowse repository at this point

• Simplify inferring of handlers

  matijapretnar

  committed
  0b186beView commit details

  Copy full SHA for 0b186be

  View code at this pointBrowse repository at this point

• Shuffle things around without changing anything

  matijapretnar

  committed
  03f63cbView commit details

  Copy full SHA for 03f63cb

  View code at this pointBrowse repository at this point

• Move single case match optimization out of infer

  matijapretnar

  committed
  1e35679View commit details

  Copy full SHA for 1e35679

  View code at this pointBrowse repository at this point

• Get rid of special case for empty match

  matijapretnar

  committed
  ee87c80View commit details

  Copy full SHA for ee87c80

  View code at this pointBrowse repository at this point

• Update generated code test

  matijapretnar

  committed
  c246914View commit details

  Copy full SHA for c246914

  View code at this pointBrowse repository at this point

• Do not require local let generalisation

  Show description for a0d5aa3
  matijapretnar

  committed
  a0d5aa3View commit details

  Copy full SHA for a0d5aa3

  View code at this pointBrowse repository at this point

• Check for uniqueness of record fields

  matijapretnar

  committed
  b55709cView commit details

  Copy full SHA for b55709c

  View code at this pointBrowse repository at this point

• Get rid of harmless test differences

  matijapretnar

  committed
  7f3d509View commit details

  Copy full SHA for 7f3d509

  View code at this pointBrowse repository at this point

• Check all types for number of arguments

  matijapretnar

  committed
  983302aView commit details

  Copy full SHA for 983302a

  View code at this pointBrowse repository at this point

Commits on Jan 6, 2022

• Track arity of type constructors

  matijapretnar

  committed
  48123b4View commit details

  Copy full SHA for 48123b4

  View code at this pointBrowse repository at this point

• Check for uniqueness of effects

  matijapretnar

  committed
  b6d1bc7View commit details

  Copy full SHA for b6d1bc7

  View code at this pointBrowse repository at this point

Commits on Jan 3, 2022

• Start checking for uniqueness of names

  matijapretnar

  committed
  3dde1e7View commit details

  Copy full SHA for 3dde1e7

  View code at this pointBrowse repository at this point

Commits on Dec 17, 2021

• Update assert tests

  matijapretnar

  committed
  dc7ddffView commit details

  Copy full SHA for dc7ddff

  View code at this pointBrowse repository at this point

Commits on Dec 7, 2021

• Update successful tests

  matijapretnar

  committed
  a670f28View commit details

  Copy full SHA for a670f28

  View code at this pointBrowse repository at this point

Commits on Dec 6, 2021

• Remove old reference files

  matijapretnar

  committed
  eafd1f3View commit details

  Copy full SHA for eafd1f3

  View code at this pointBrowse repository at this point

Commits on Oct 20, 2021

• Merge branch 'explicit-effect-subtyping' into polymorphism

  matijapretnar

  committed
  67bb9b5View commit details

  Copy full SHA for 67bb9b5

  View code at this pointBrowse repository at this point

• Merge branch 'master' into explicit-effect-subtyping

  matijapretnar

  committed
  c498e58View commit details

  Copy full SHA for c498e58

  View code at this pointBrowse repository at this point

Commits on Oct 18, 2021

• Properly generalize recursive definitions

  matijapretnar

  committed
  0a3158aView commit details

  Copy full SHA for 0a3158a

  View code at this pointBrowse repository at this point

• Add a test for higher-order composition

  matijapretnar

  committed
  9546adaView commit details

  Copy full SHA for 9546ada

  View code at this pointBrowse repository at this point

• Simple failing test for polymorphism

  matijapretnar

  committed
  69cff66View commit details

  Copy full SHA for 69cff66

  View code at this pointBrowse repository at this point

Commits on Jun 15, 2021

• Handle casts

  matijapretnar

  committed
  5fb762eView commit details

  Copy full SHA for 5fb762e

  View code at this pointBrowse repository at this point

• Add tests for benchmark generation

  matijapretnar

  committed
  2a8dd9eView commit details

  Copy full SHA for 2a8dd9e

  View code at this pointBrowse repository at this point

• Ignore variable numbers when printing out format tests

  matijapretnar

  committed
  6427f9eView commit details

  Copy full SHA for 6427f9e

  View code at this pointBrowse repository at this point

Commits on Jun 9, 2021

• Merge branch 'master' into explicit-effect-subtyping

  matijapretnar

  committed
  1796dcdView commit details

  Copy full SHA for 1796dcd

  View code at this pointBrowse repository at this point

• Avoid hacky === generation

  matijapretnar

  committed
  564650fView commit details

  Copy full SHA for 564650f

  View code at this pointBrowse repository at this point

• Update tests to Cram style

  matijapretnar

  committed
  9623097View commit details

  Copy full SHA for 9623097

  View code at this pointBrowse repository at this point