Changeset 27 for sizechecking/branches/macs/Ops.hs

Timestamp:

May 5, 2014, 3:10:33 PM (12 years ago)

Author:

gobi

Message:

new files

File:

• sizechecking/branches/macs/Ops.hs (modified) (2 diffs)

sizechecking/branches/macs/Ops.hs

@@ -7 +7 @@
 import qualified Prelude
 import Lambda
+import Data.Lens.Light
 
 -- infix operatorok, ezek beagyazasa picit necces, lasd a type family kesobb
@@ -32 +33 @@
     fun _ = Q
 
-instance LOps S where
-    fun name _ = S (\_ p -> Prelude.showsPrec p name)
+instance (SContext s) => LOps (S s) where
+    fun name _ = S (\ctx -> Prelude.showsPrec (getL prec ctx) name)
 
-    infixopl name prec _ lhs rhs = S(\s p ->
-        let (s1, s2) = S.split2 s
-        in Prelude.showParen (p Prelude.> prec) $
-            unS lhs s1 prec .
+    infixopl name p _ lhs rhs = S(\ctx ->
+        let (s1, s2) = S.split2 (getL supply ctx)
+        in Prelude.showParen ((getL prec ctx) Prelude.> p) $
+            unS lhs (setL supply s1 $ setL prec p ctx) .
             Prelude.showString name .
-            unS rhs s2 (Prelude.succ prec)
+            unS rhs (setL supply s2 $ setL prec (Prelude.succ p) ctx)
         )
-    infixop name prec _ lhs rhs = S(\s p ->
-        let (s1, s2) = S.split2 s
-        in Prelude.showParen (p Prelude.> prec) $
-            unS lhs s1 (Prelude.succ prec) .
+
+    infixop  name p _ lhs rhs = S(\ctx ->
+        let (s1, s2) = S.split2 (getL supply ctx)
+        in Prelude.showParen ((getL prec ctx) Prelude.> p) $
+            unS lhs (setL supply s1 $ setL prec (Prelude.succ p) ctx) .
             Prelude.showString name .
-            unS rhs s2 (Prelude.succ prec)
+            unS rhs (setL supply s2 $ setL prec (Prelude.succ p) ctx)
         )
-    infixopr name prec _ lhs rhs = S(\s p ->
-        let (s1, s2) = S.split2 s
-        in Prelude.showParen (p Prelude.> prec) $
-            unS lhs s1 (Prelude.succ prec) .
+
+    infixopr name p _ lhs rhs = S(\ctx ->
+        let (s1, s2) = S.split2 (getL supply ctx)
+        in Prelude.showParen ((getL prec ctx) Prelude.> p) $
+            unS lhs (setL supply s1 $ setL prec (Prelude.succ p) ctx) .
             Prelude.showString name .
-            unS rhs s2 prec
+            unS rhs (setL supply s2 $ setL prec p ctx)
         )