hylolib 1.5.5 → 1.5.6

raw patch · 3 files changed

+4/−12 lines, 3 filessetup-changed

Files

Setup.lhs +0/−4
hylolib.cabal +2/−6
src/HyLo/Formula/Rewrite.hs +2/−2

− Setup.lhs

@@ -1,4 +0,0 @@-#! /usr/bin/env runhaskell--> import Distribution.Simple-> main = defaultMain

hylolib.cabal view

@@ -1,16 +1,12 @@ cabal-version:       2.0 Name:                hylolib-Version:             1.5.5+Version:             1.5.6 Synopsis:            Tools for hybrid logics related programs License:             GPL License-file:        LICENSE-Author:              Daniel Gorin-Maintainer:          guillaumh@gmail.com+Homepage:            https://github.com/geh/hylolib Build-Type:          Simple Category:            Theorem Provers-source-repository head-    type:     darcs-    location: http://hub.darcs.net/gh/hylolib  Library   Default-language:    Haskell2010

src/HyLo/Formula/Rewrite.hs view

@@ -22,8 +22,8 @@     showsPrec _ (Rewr i)    = showString "RW_" . shows i  instance Read prop => Read (Rewr prop) where-    readPrec = RP.choice [do 'O' <- RP.get; Orig `liftM` readPrec,-                          do _ <- RP.lift (string "RW_"); Rewr `liftM` readPrec]+    readPrec = RP.choice [do 'O' <- RP.get; Orig <$> readPrec,+                          do _ <- RP.lift (string "RW_"); Rewr <$> readPrec]  wrapProps :: Formula n p r -> Formula n (Rewr p) r wrapProps = mapSig id Orig id