equal
deleted
inserted
replaced
1091 |
1091 |
1092 (* authentic syntax *) |
1092 (* authentic syntax *) |
1093 |
1093 |
1094 local |
1094 local |
1095 |
1095 |
1096 fun const_ast_tr intern ctxt [Syntax.Variable c] = |
1096 fun const_ast_tr intern ctxt [Ast.Variable c] = |
1097 let |
1097 let |
1098 val Const (c', _) = read_const_proper ctxt false c; |
1098 val Const (c', _) = read_const_proper ctxt false c; |
1099 val d = if intern then Syntax.mark_const c' else c; |
1099 val d = if intern then Syntax.mark_const c' else c; |
1100 in Syntax.Constant d end |
1100 in Ast.Constant d end |
1101 | const_ast_tr _ _ asts = raise Syntax.AST ("const_ast_tr", asts); |
1101 | const_ast_tr _ _ asts = raise Ast.AST ("const_ast_tr", asts); |
1102 |
1102 |
1103 val typ = Simple_Syntax.read_typ; |
1103 val typ = Simple_Syntax.read_typ; |
1104 |
1104 |
1105 in |
1105 in |
1106 |
1106 |