equal
deleted
inserted
replaced
38 default_val :: "ty => val" (* default value for all types *) |
38 default_val :: "ty => val" (* default value for all types *) |
39 |
39 |
40 primrec |
40 primrec |
41 "defpval Void = Unit" |
41 "defpval Void = Unit" |
42 "defpval Boolean = Bool False" |
42 "defpval Boolean = Bool False" |
43 "defpval Integer = Intg (Numeral0)" |
43 "defpval Integer = Intg 0" |
44 |
44 |
45 primrec |
45 primrec |
46 "default_val (PrimT pt) = defpval pt" |
46 "default_val (PrimT pt) = defpval pt" |
47 "default_val (RefT r ) = Null" |
47 "default_val (RefT r ) = Null" |
48 |
48 |