NanoProlog 0.1.1 → 0.1.2

raw patch · 2 files changed

+3/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Language.Prolog.NanoProlog.Lib: class Subst t

+ Language.Prolog.NanoProlog.Lib: class Taggable a

+ Language.Prolog.NanoProlog.Lib: tag :: Taggable a => Int -> a -> a

Files

NanoProlog.cabal +1/−1
src/Language/Prolog/NanoProlog/Lib.hs +2/−1

NanoProlog.cabal view

@@ -1,5 +1,5 @@ Name:                NanoProlog-Version:             0.1.1+Version:             0.1.2 Synopsis:            Very small  interpreter for a Prolog-like language Description:         This package was developed to demonstrate the ideas behind                      the Prolog language. It contains a very small interpreter

src/Language/Prolog/NanoProlog/Lib.hs view

@@ -7,6 +7,8 @@      LowerCase   ,  Result(..)   ,  Rule((:<-:))+  ,  Subst(..)+  ,  Taggable(..)   ,  Term(..)   ,  emptyEnv   ,  enumerateDepthFirst@@ -15,7 +17,6 @@   ,  pTerm   ,  show'   ,  solve-  ,  subst   ,  startParse   ,  unify   ) where