graph-rewriting-lambdascope 0.5.6 → 0.5.7

raw patch · 7 files changed

+21/−19 lines, 7 filesdep ~GLUTdep ~OpenGLdep ~base

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

Files

• AUTHORS +2/−0
• Term.hs +0/−9
• 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-lambdascope.cabal +11/−10

@@ -0,0 +1,2 @@+Jan Rochel+Chas Leichner (Google Inc.)

@@ -12,15 +12,6 @@ import Data.Functor import Control.Applicative --instance Applicative (GenParser s a) where-	pure  = return-	(<*>) = ap--instance Alternative (GenParser s a) where-	empty = mzero-	(<|>) = mplus- -- | The AST of a lambda expression data Λ = A Λ Λ            -- ^ application 	| Λ String Λ           -- ^ abstraction

@@ -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-lambdascope-Version:        0.5.6+Version:        0.5.7 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -13,24 +13,25 @@ Category:       Compilers/Interpreters, Application Cabal-Version:  >= 1.6 Data-Files:     examples/*.l examples/case/*.l+Extra-Source-Files: AUTHORS  Executable lambdascope   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.1 && < 0.8,-    graph-rewriting-layout >= 0.5.1 && < 0.6,-    graph-rewriting-gl >= 0.7.1 && < 0.8,-    graph-rewriting-strategies >= 0.2.2 && < 0.3,-    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,+    graph-rewriting-strategies >= 0.2.4 && < 0.3,+    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