[print some operators infix, print store and fetch as demote and promote sometimes.
John Meacham <john@repetae.net>**20070602091321] hunk ./Grin/Show.hs 91
+prettyExp vl (Store v@Var {}) | getType v == tyDNode = vl <> keyword "demote" <+> prettyVal v
hunk ./Grin/Show.hs 93
+prettyExp vl (Fetch v@Var {}) | getType v == tyINode = vl <> keyword "promote" <+> prettyVal v
hunk ./Grin/Show.hs 101
+prettyExp vl Prim { expPrimitive = APrim (Op (Op.BinOp bo _ _) _) _, expArgs = [x,y] } | Just (op,_) <- Op.binopInfix bo = vl <> prettyVal x <+> operator op <+> prettyVal y
hunk ./Grin/Show.hs 136
-    | TyPtr t <- t = char 'p' <> prettyVal (Var (V i) t)
-    | TyNode <- t = char 'n' <> tshow i
---    | t == tCharzh = char 'c' <> tshow i
---    | t == tIntzh  = char 'i' <> tshow i
-    | Ty _ <- t  = char 'l' <> tshow i
+    | TyPtr TyNode <- t = text "ni" <> tshow i
+    | TyNode <- t = text "nd" <> tshow i
+    | TyPtr (TyPtr TyNode) <- t = text "np" <> tshow i
hunk ./Grin/Show.hs 142
+    | TyPrim (Op.TyBits (Op.Bits 8)  _) <- t  = char 'o' <> tshow i      -- octet
+    | TyPrim (Op.TyBits (Op.Bits 16)  _) <- t  = char 'h' <> tshow i     -- half
+    | TyPrim (Op.TyBits (Op.Bits 32)  _) <- t  = char 'w' <> tshow i     -- word
+    | TyPrim (Op.TyBits (Op.Bits 64)  _) <- t  = char 'd' <> tshow i     -- doubleword
+    | TyPrim (Op.TyBits (Op.Bits 128)  _) <- t  = char 'q' <> tshow i    -- quadword
+    | TyPrim (Op.TyBits (Op.BitsArch Op.BitsPtr)  _) <- t  = char 'p' <> tshow i
+    | TyPrim (Op.TyBits (Op.BitsArch Op.BitsMax)  _) <- t  = char 'm' <> tshow i
hunk ./Grin/Show.hs 150
-    | TyTag <- t  = char 't' <> tshow i
hunk ./Grin/Show.hs 151
-prettyVal (Lit i t) | t == tCharzh, Just x <- toIntegral i = tshow (chr x)
-prettyVal (Lit i t) | t == Ty (toAtom "wchar_t"), Just x <- toIntegral i = tshow (chr x)