graph-rewriting-ww 0.3.5 → 0.3.6

raw patch · 2 files changed

+10/−15 lines, 2 filesdep ~GLUTdep ~IndentParserdep ~OpenGL

Dependency ranges changed: GLUT, IndentParser, OpenGL, base, base-unicode-symbols, graph-rewriting, graph-rewriting-gl, graph-rewriting-layout, parsec

Files

• examples/sum.l +0/−5
• graph-rewriting-ww.cabal +10/−10

@@ -1,5 +0,0 @@-let-	sum list = case list of-		Nil -> 0-		Cons z zs -> (\x.λy -> + x y) z (sum zs)-in sum (Cons 1 (Cons 2 Nil))

@@ -1,5 +1,5 @@ Name:           graph-rewriting-ww-Version:        0.3.5+Version:        0.3.6 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -16,15 +16,15 @@ Executable ww   Main-Is:        Main.hs   Build-Depends:-    base >= 4 && < 4.9,-    base-unicode-symbols >= 0.2 && < 0.3,-    graph-rewriting >= 0.7.8 && < 0.8,-    graph-rewriting-layout >= 0.5.4 && < 0.6,-    graph-rewriting-gl >= 0.7.6 && < 0.8,-    parsec >= 3.1 && < 3.2,-    GLUT >= 2.2 && < 2.8,-    OpenGL == 3.*,-    IndentParser >= 0.2 && < 0.3+    base >= 4 && < 5,+    base-unicode-symbols >= 0.2,+    graph-rewriting >= 0.7.8,+    graph-rewriting-layout >= 0.5.4,+    graph-rewriting-gl >= 0.7.6,+    parsec >= 3.1,+    GLUT >= 2.2,+    OpenGL >= 3.0,+    IndentParser >= 0.2   Extensions:     UnicodeSyntax     FlexibleInstances