• R/O
  • SSH
  • HTTPS

jpl: List of commits


RSS
Rev. Time Author
r857 2019-11-18 09:19:45 jakobthomsen

allow to omit parameter

r856 2019-11-18 08:46:45 jakobthomsen

use new pattern-matching syntax for structs

r855 2019-11-18 08:19:11 jakobthomsen

disable previous pattern-matching syntax

r854 2019-11-18 08:15:32 jakobthomsen

use pattern-matching

r853 2019-11-18 07:54:41 jakobthomsen

use pattern-matching

r852 2019-11-18 07:33:33 jakobthomsen

report re-definition of element in pattern-match

r851 2019-11-18 07:17:51 jakobthomsen

use pattern-matching & omitting struct elements in pattern-match

r850 2019-11-18 06:58:20 jakobthomsen

allow to omit element in pattern-match

r849 2019-11-18 06:39:15 jakobthomsen

fix missing skipws & cleanup

r848 2019-11-18 04:23:27 jakobthomsen

comment

r847 2019-11-17 11:29:00 jakobthomsen

cleanup

r846 2019-11-14 07:29:54 jakobthomsen

use number-literals in constructor-arguments

r845 2019-11-14 05:58:13 jakobthomsen

allow number-literals as constructor-arguments

r844 2019-11-14 05:30:24 jakobthomsen

reduce redundancy: factor-out parsing constructor-parameter

r843 2019-11-13 09:46:03 jakobthomsen

fix matching single union element

r842 2019-11-13 08:11:36 jakobthomsen

implement matching union elements

r841 2019-11-12 10:14:11 jakobthomsen

allow to assume properties in unsafe-mode

r840 2019-11-12 09:28:53 jakobthomsen

fix makefile

r839 2019-11-12 09:26:03 jakobthomsen

separate unsafe from partial marker

r838 2019-11-12 06:05:02 jakobthomsen

fix consume in pattern-matched struct

r837 2019-11-11 07:19:27 jakobthomsen

cleanup

r836 2019-11-11 06:20:51 jakobthomsen

fix produce in pattern-matched struct

r835 2019-11-10 11:50:30 jakobthomsen

(non-recursively) pattern-match structs

r834 2019-11-10 11:17:07 jakobthomsen

cleanup

r833 2019-11-05 12:10:32 jakobthomsen

update info

r832 2019-11-05 12:05:38 jakobthomsen

use pattern matching on variants

r831 2019-11-05 11:16:52 jakobthomsen

pattern-match on variants

r830 2019-11-05 08:56:09 jakobthomsen

use n+k pattern match

r829 2019-11-05 08:39:07 jakobthomsen

n+k pattern-match

r828 2019-11-05 07:51:51 jakobthomsen

simplify pattern-matching implementation

Show on old repository browser