blob: f3d6803f2e1633c540673162e28b2fcc10ffcc98 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
definition module Sil.Util
from StdOverloaded import class toString, class zero
from Sil.Parse import :: Token
from Sil.Syntax import :: Program, :: Function, :: CodeBlock,
:: Initialisation, :: Statement, :: Type, :: Application, :: Literal
:: PrintState
instance zero PrintState
class PrettyPrinter t where
print :: PrintState t -> String
instance PrettyPrinter [Token]
instance PrettyPrinter Program
instance PrettyPrinter Function
instance PrettyPrinter CodeBlock
instance PrettyPrinter Initialisation
instance PrettyPrinter Statement
instance toString Type
instance toString Application
instance toString Literal
|
