graph-rewriting-ww 0.3.4 → 0.3.5

raw patch · 5 files changed

+17/−9 lines, 5 filesdep ~GLUTdep ~OpenGLdep ~base

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

Files

• examples/not-ll-expr-1.l +1/−0
• examples/running_eff.l +1/−0
• examples/running_ineff.l +1/−0
• examples/sum.l +5/−0
• graph-rewriting-ww.cabal +9/−9

@@ -0,0 +1,1 @@+let f = \x.\y. f y x in f a b c d e g

@@ -0,0 +1,1 @@+\x. \f. let  r = f r x  in  r

@@ -0,0 +1,1 @@+\x. \f. let  r = f (f r x) x  in  r

@@ -0,0 +1,5 @@+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.4+Version:        0.3.5 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -16,19 +16,19 @@ Executable ww   Main-Is:        Main.hs   Build-Depends:-    base >= 4 && < 4.8,+    base >= 4 && < 4.9,     base-unicode-symbols >= 0.2 && < 0.3,-    graph-rewriting >= 0.7 && < 0.8,-    graph-rewriting-layout >= 0.5.1 && < 0.6,-    graph-rewriting-gl >= 0.6.9 && < 0.8,-    parsec >= 2.1 && < 2.2,-    GLUT >= 2.2 && < 2.6,-    OpenGL >= 2.4 && < 2.10,+    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   Extensions:     UnicodeSyntax     FlexibleInstances     FlexibleContexts     MultiParamTypeClasses-  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas+  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs   Other-Modules:   GL Graph Resolver Rules Term