packages feed

NanoProlog 0.2.3.1 → 0.2.3.2

raw patch · 3 files changed

+6/−4 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Language.Prolog.NanoProlog.NanoProlog: data Env
+ Language.Prolog.NanoProlog.NanoProlog: Env :: Map UpperCase Term -> Env
+ Language.Prolog.NanoProlog.NanoProlog: fromEnv :: Env -> Map UpperCase Term
+ Language.Prolog.NanoProlog.NanoProlog: newtype Env
+ Language.Prolog.NanoProlog.NanoProlog: type Tag = String
+ Language.Prolog.NanoProlog.NanoProlog: type UpperCase = String

Files

NanoProlog.cabal view
@@ -1,5 +1,5 @@ Name:                NanoProlog-Version:             0.2.3.1+Version:             0.2.3.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/NanoProlog.hs view
@@ -4,8 +4,10 @@ {-# LANGUAGE FlexibleInstances #-}  module Language.Prolog.NanoProlog.NanoProlog (-     Env+     Env(..)+  ,  UpperCase   ,  LowerCase+  ,  Tag   ,  Result(..)   ,  Rule((:<-:))   ,  Subst(..)@@ -153,7 +155,7 @@ showCommas l = intercalate ", " (map show l)  -- ** Parsing Rules and Terms-startParse :: (ListLike s b, Show b)  =>  +startParse :: (ListLike s b, Show b)  =>               P (Str b s LineColPos) a -> s ->  (a, [Error LineColPos]) startParse p inp  =  parse ((,) <$> p <*> pEnd)                   $  createStr (LineColPos 0 0 0) inp
src/Main.hs view
@@ -1,6 +1,6 @@ module Main where -import            Language.Prolog.NanoProlog.Interpreter (run)+import Language.Prolog.NanoProlog.Interpreter (run)  -- * Running the Interpreter -- ** The main interpreter