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 +1/−1
- src/Language/Prolog/NanoProlog/NanoProlog.hs +4/−2
- src/Main.hs +1/−1
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