graph-rewriting-ski 0.5 → 0.5.1

raw patch · 2 files changed

+18/−13 lines, 2 files

Files

• Direct/GL.hs +7/−7
• graph-rewriting-ski.cabal +11/−6

@@ -32,13 +32,13 @@  renderNode Root {} = return () renderNode node = drawPorts node >> case node of-	S  {} → drawNode "S"-	K  {} → drawNode "K"-	I {}  → drawNode "I"-	Applicator {}  → drawNode "A"-	Duplicator {}  → GL.preservingMatrix $ GL.renderPrimitive GL.LineLoop $ do+	S {} → drawNode "S"+	K {} → drawNode "K"+	I {} → drawNode "I"+	Applicator {} → drawNode "A"+	Duplicator {} → GL.preservingMatrix $ GL.renderPrimitive GL.LineLoop $ do 		vertex2 (0,-1) 		vertex2 (-1,1) 		vertex2 (1,1)-	Eraser {}  → drawNode "E"-	Variable {name = n}  → drawNode n+	Eraser {} → drawNode "E"+	Variable {name = n} → drawNode n

@@ -1,5 +1,5 @@ Name:           graph-rewriting-ski-Version:        0.5+Version:        0.5.1 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -22,18 +22,23 @@ 	parsec >= 2.1 && < 2.2, 	GLUT >= 2.2 && < 2.3, 	OpenGL >= 2.4 && < 2.5-Extensions:-	UnicodeSyntax-	FlexibleInstances-	FlexibleContexts-	MultiParamTypeClasses  Executable:     ski-inet Main-Is:        INet/Main.hs GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-imports Other-Modules:  Common.GL INet.GL INet.Graph INet.Rules Common.Term+Extensions:+	UnicodeSyntax+	FlexibleInstances+	FlexibleContexts+	MultiParamTypeClasses  Executable:     ski-direct Main-Is:        Direct/Main.hs GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-imports Other-Modules:  Common.GL Direct.GL Direct.Graph Direct.Rules Common.Term+Extensions:+	UnicodeSyntax+	FlexibleInstances+	FlexibleContexts+	MultiParamTypeClasses