egison 2.3.1 → 2.3.2

raw patch · 3 files changed

+4/−3 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

egison.cabal +1/−1
lib/core/collection.egi +1/−1
lib/core/number.egi +2/−1

egison.cabal view

@@ -1,5 +1,5 @@ Name:                egison-Version:             2.3.1+Version:             2.3.2 Synopsis:            An Interpreter for the Programming Language Egison Description:         An interpreter for the programming language Egison.                      A feature of Egison is the strong pattern match facility.

lib/core/collection.egi view

@@ -204,7 +204,7 @@   (lambda [$a]     (type       {[,$val []-        {[$tgt (match [val tgt] [(Multiset a) (Multiset a)]+        {[$tgt (match [val tgt] [(List a) (Multiset a)]                  {[[<nil> <nil>] {[]}]                   [[<cons $x $xs> <cons ,x ,xs>] {[]}]                   [[_ _] {}]})]}]

lib/core/number.egi view

@@ -1,6 +1,7 @@ (define $Integer   (type-    {[,$n []+    {+     [,$n []       {[$tgt (if (eq-n? tgt n)                  {[]}                  {})]}]