hakyll-agda 0.1.1 → 0.1.2

raw patch · 2 files changed

+15/−12 lines, 2 filesdep ~containers

Dependency ranges changed: containers

Files

• Hakyll/Web/Agda.hs +6/−6
• hakyll-agda.cabal +9/−6

@@ -83,14 +83,14 @@                _ : rest' -> end rest'      end []  = []-    end mis = let (a, b) = span (notCode endCode) mis-              in Right a :+    end mis = let (code, rest) = span (notCode endCode) mis+              in Right code :                  -- If there's nothing between \end{code} and \begin{code}, we                  -- start consuming code again.-                 case b of-                     []                                 -> error "malformed file"-                     ((_, s, mi) : b') | beginCode s mi -> end b'-                     (_          : b')                  -> begin b'+                 case rest of+                     []                                    -> error "malformed file"+                     ((_, s, mi) : code') | beginCode s mi -> end code'+                     (_          : com)                    -> begin com      notCode f (_, s, mi) = not (f s mi) 

@@ -1,6 +1,6 @@ Cabal-version:      >= 1.6 Name:               hakyll-agda-Version:            0.1.1+Version:            0.1.2 Author:             Francesco Mazzoli (f@mazzo.li) Maintainer:         Francesco Mazzoli (f@mazzo.li) Build-Type:         Simple@@ -8,16 +8,19 @@ Build-Type:         Simple Category:           Web Synopsis:           Wrapper to integrate literate Agda files with Hakyll-Tested-With:        GHC==7.4.1-Homepage:           https://github.com/bitonic/website-Bug-Reports:        https://github.com/bitonic/website/issues+Tested-With:        GHC==7.6.3+Homepage:           https://github.com/bitonic/hakyll-agda+Bug-Reports:        https://github.com/bitonic/hakyll-agda/issues Description:     Simple module useful to generate blog posts from literate Agda files.+    .+    Note: Currently this package requires the development version of Hakyll,+    see <http://mazzo.li/posts/agda-hakyll.html> for more info. Data-Files:         css/agda.css  source-repository head     type:     git-    location: git://github.com/bitonic/website.git+    location: git://github.com/bitonic/hakyll-agda.git  Library     Build-Depends:    base >= 3 && < 5,@@ -27,7 +30,7 @@                       xhtml >= 3000.2 && < 3000.3,                       filepath >= 1.3 && < 2,                       directory >= 1.1 && < 2,-                      containers >= 0.4.2 && < 0.5,+                      containers >= 0.4.2 && < 0.6,                       mtl >= 2.1 && < 3,                       transformers >= 0.3 && < 0.4     GHC-Options:      -Wall