maude 0.1.0 → 0.1.2
raw patch · 3 files changed
+33/−40 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- Foreign/Maude.hs +10/−9
- LICENSE +16/−27
- maude.cabal +7/−4
Foreign/Maude.hs view
@@ -1,8 +1,8 @@ ----------------------------------------------------------------------------- -- | -- Module : Foreign.Maude--- Copyright : (c) David Lazar, 2010--- License : BSD3+-- Copyright : (c) David Lazar, 2011+-- License : MIT -- -- Maintainer : lazar6@illinois.edu -- Stability : experimental@@ -21,7 +21,8 @@ -- 4. The output from step 2 is parsed and returned. -- -- This is a simple way to perform a single rewrite command, but it is--- inefficient for performing many rewrite commands. See /Future Work/ below.+-- inefficient for performing many rewrite commands. See /Future Work/+-- below. ----------------------------------------------------------------------------- module Foreign.Maude@@ -76,8 +77,8 @@ removeFile runner return $ parseMaudeResult out --- | Parse Maude's output into a MaudeResult. The current implementation does--- very little sanity checking and can not parse Maude failures.+-- | Parse Maude's output into a MaudeResult. The current implementation+-- does very little sanity checking and can not parse Maude failures. parseMaudeResult :: String -> Maybe MaudeResult parseMaudeResult str = case lines str of (stats : res : _) -> do@@ -90,7 +91,6 @@ } _ -> Nothing - -- | Create a temporary file which contains the commands Maude should run at -- startup, namely some formatting commands, the rewrite command, and quit. newRunnerFile :: String -> IO FilePath@@ -125,7 +125,8 @@ , statistics = "rewrites: 6 in 0ms cpu (0ms real) (~ rewrites/second)" }) -Notice that the resulting list is given in parenthesized form. This is because+Notice that the resulting list is given in parenthesized form. This is+because > set print with parentheses on . @@ -160,6 +161,6 @@ * Support for other Maude commands besides @rewrite@. -* A Maude monad that handles failure and multiple Maude commands efficiently is- a long-term goal for this package.+* A Maude monad that handles failure and multiple Maude commands efficiently+ is a long-term goal for this package. -}
LICENSE view
@@ -1,30 +1,19 @@-Copyright (c)2010, David Lazar--All rights reserved.--Redistribution and use in source and binary forms, with or without-modification, are permitted provided that the following conditions are met:-- * Redistributions of source code must retain the above copyright- notice, this list of conditions and the following disclaimer.+Copyright (c) 2010, 2011 David Lazar <lazar6@illinois.edu> - * Redistributions in binary form must reproduce the above- copyright notice, this list of conditions and the following- disclaimer in the documentation and/or other materials provided- with the distribution.+Permission is hereby granted, free of charge, to any person obtaining a copy+of this software and associated documentation files (the "Software"), to deal+in the Software without restriction, including without limitation the rights+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the Software is+furnished to do so, subject to the following conditions: - * Neither the name of David Lazar nor the names of other- contributors may be used to endorse or promote products derived- from this software without specific prior written permission.+The above copyright notice and this permission notice shall be included in+all copies or substantial portions of the Software. -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS-"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT-LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR-A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT-OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,-SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT-LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,-DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY-THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT-(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE-OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN+THE SOFTWARE.
maude.cabal view
@@ -1,17 +1,20 @@ Name: maude-Version: 0.1.0+Version: 0.1.2 Synopsis: An interface to the Maude rewriting system. Description: This package provides a simple interface for doing Maude rewrites from within Haskell. -Homepage: http://git.mzero.org/maude/-License: BSD3+Homepage: https://code.google.com/p/maude-hs/+License: MIT License-file: LICENSE Author: David Lazar Maintainer: David Lazar <lazar6@illinois.edu> Category: Foreign Build-type: Simple-Cabal-version: >=1.2+Cabal-version: >=1.6 +source-repository head+ Type: mercurial+ Location: https://maude-hs.googlecode.com/hg/ Library Exposed-modules: Foreign.Maude