Commits

Branch selector

int64

User selector

All users

All time

Commit history

Commits on Jun 20, 2024

• Merge branch 'upstream-master' into int64

  ppolesiuk

  committed
  050b087View commit details

  Copy full SHA for 050b087

  Browse repository at this point

• Prelude split into multiple files (#133)

  Show description for b826745
  ppolesiuk

  authored
  b826745View commit details

  Copy full SHA for b826745

  Browse repository at this point

Commits on Jun 17, 2024

• Better position printing in error messages (#113)

  Show description for 88754bf
  Foxinio

  authored
  88754bfView commit details

  Copy full SHA for 88754bf

  Browse repository at this point

Commits on Jun 16, 2024

• Finishing touches, adressing comments

  Foxinio

  committed
  44ae6ccView commit details

  Copy full SHA for 44ae6cc

  Browse repository at this point

Commits on Jun 13, 2024

• Fix visibility of named patterns (#124)

  forell

  authored
  8f145f9View commit details

  Copy full SHA for 8f145f9

  Browse repository at this point

Commits on Jun 11, 2024

• Fixes proposed in review

  Show description for ee831c5
  Foxinio

  committed
  ee831c5View commit details

  Copy full SHA for ee831c5

  Browse repository at this point

Commits on Jun 4, 2024

• Either type in Prelude (#120)

  wojpok

  authored
  14be099View commit details

  Copy full SHA for 14be099

  Browse repository at this point

• Special syntax for nested method calls (#117)

  Show description for 7a5087c
  

  Bohun9

  and

  ppolesiuk

  authored
  7a5087cView commit details

  Copy full SHA for 7a5087c

  Browse repository at this point

• Rudimentary module patterns (#114)

  Show description for b29fa23
  forell

  authored
  b29fa23View commit details

  Copy full SHA for b29fa23

  Browse repository at this point

Commits on Jun 3, 2024

• Add some missing functions to module List (#103)

  fatmage

  authored
  ed002b8View commit details

  Copy full SHA for ed002b8

  Browse repository at this point

• Added Int64 builtin type with dedicated module in stdlib

  Show description for ff8b122
  Foxinio

  committed
  ff8b122View commit details

  Copy full SHA for ff8b122

  Browse repository at this point

Commits on Jun 1, 2024

• Types and values attached to delimiter in Core (#106)

  Show description for c237db2
  ppolesiuk

  authored
  c237db2View commit details

  Copy full SHA for c237db2

  Browse repository at this point

Commits on May 31, 2024

• Rename DBL language to Fram (#112)

  Show description for 3bc9717
  ppolesiuk

  authored
  3bc9717View commit details

  Copy full SHA for 3bc9717

  Browse repository at this point

• Fixing #109 bug (#111)

  Show description for 34594ce
  ppolesiuk

  authored
  34594ceView commit details

  Copy full SHA for 34594ce

  Browse repository at this point

• Added missing `EChr _` case.

  ppolesiuk

  committed
  a4bcb05View commit details

  Copy full SHA for a4bcb05

  Browse repository at this point

Commits on May 29, 2024

• Builtin type Char (#104)

  Show description for 51d5fbd
  wojpok

  authored
  51d5fbdView commit details

  Copy full SHA for 51d5fbd

  Browse repository at this point

Commits on May 25, 2024

• Recursive methods and better polymorphic recursion (#105)

  Show description for c17f2fb
  ppolesiuk

  authored
  c17f2fbView commit details

  Copy full SHA for c17f2fb

  Browse repository at this point

Commits on May 18, 2024

• Implemented records and automatic accessor methods generation (#94)

  Show description for fe9d0d2
  Foxinio

  authored
  fe9d0d2View commit details

  Copy full SHA for fe9d0d2

  Browse repository at this point

Commits on May 17, 2024

• Mixed recursive data and values (#97)

  Show description for 8838396
  ppolesiuk

  authored
  8838396View commit details

  Copy full SHA for 8838396

  Browse repository at this point

Commits on May 15, 2024

• Fix parsing of nested arrows with effects (#99)

  Bohun9

  authored
  edeaa48View commit details

  Copy full SHA for edeaa48

  Browse repository at this point

Commits on May 8, 2024

• Early abort of pipeline in REPL (#67)

  Show description for 3416da7
  ppolesiuk

  authored
  3416da7View commit details

  Copy full SHA for 3416da7

  Browse repository at this point

• Command line parameters for search paths (#89)

  Bohun9

  authored
  56eec70View commit details

  Copy full SHA for 56eec70

  Browse repository at this point

Commits on May 7, 2024

• Warning about abstr modifier in pub rec block (#91)

  Bohun9

  authored
  b6cf79aView commit details

  Copy full SHA for b6cf79a

  Browse repository at this point

• Grouping REPL definitions (#90)

  Show description for ce90ab1
  

  Bohun9

  and

  ppolesiuk

  authored
  ce90ab1View commit details

  Copy full SHA for ce90ab1

  Browse repository at this point

• Changing module names to allow use of dune utop command (#88)

  Foxinio

  authored
  1f6a5eaView commit details

  Copy full SHA for 1f6a5ea

  Browse repository at this point

Commits on May 6, 2024

• Remove obsolete definitions of fix and Nat

  

  Bohun9

  authored and

  ppolesiuk

  committed
  0a3a00dView commit details

  Copy full SHA for 0a3a00d

  Browse repository at this point

Commits on May 5, 2024

• Separate files as modules (#80)

  Show description for eac7cc7
  forell

  authored
  eac7cc7View commit details

  Copy full SHA for eac7cc7

  Browse repository at this point

Commits on May 4, 2024

• Mutually recursive ADTs and labels in Core (#79)

  Show description for 1cf329d
  ppolesiuk

  authored
  1cf329dView commit details

  Copy full SHA for 1cf329d

  Browse repository at this point

Commits on May 3, 2024

• Refactoring of `TypeInference` (#76)

  Show description for 8a600ee
  ppolesiuk

  authored
  8a600eeView commit details

  Copy full SHA for 8a600ee

  Browse repository at this point

• Checking if recursive functions have NTerm effect (#75)

  Show description for 94002d4
  ppolesiuk

  authored
  94002d4View commit details

  Copy full SHA for 94002d4

  Browse repository at this point

Commits on Apr 30, 2024

• Recursion (#65)

  Show description for 59e96dc
  ppolesiuk

  authored
  59e96dcView commit details

  Copy full SHA for 59e96dc

  Browse repository at this point

Commits on Apr 24, 2024

• Kind annotations

  wbukowski

  authored
  f45e1f5View commit details

  Copy full SHA for f45e1f5

  Browse repository at this point

Commits on Apr 23, 2024

• Improve documentation of `BRef.mli` (#64)

  jauzatopauza

  authored
  9707b28View commit details

  Copy full SHA for 9707b28

  Browse repository at this point

• Reporting of escaping type variables (#52)

  Show description for c2af012
  

  kirawasielewska

  and

  ppolesiuk

  authored
  c2af012View commit details

  Copy full SHA for c2af012

  Browse repository at this point

Commits on Apr 17, 2024

• Wildcard in type parameters (#63)

  Show description for 6c04fb6
  wbukowski

  authored
  6c04fb6View commit details

  Copy full SHA for 6c04fb6

  Browse repository at this point