diff --git a/Foreign/Maude.hs b/Foreign/Maude.hs --- a/Foreign/Maude.hs +++ b/Foreign/Maude.hs @@ -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. -} diff --git a/LICENSE b/LICENSE --- a/LICENSE +++ b/LICENSE @@ -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 - * 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. diff --git a/maude.cabal b/maude.cabal --- a/maude.cabal +++ b/maude.cabal @@ -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 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