可见编译器

通过这些结构可以访问新泽西州标准ML的“可见编译器”。用户程序可以以类型安全的方式访问控制编译主要阶段的各个模块。通过这种方式，诸如编译管理器之类的实用程序可以在编译器本身之外实现。

简介

接口

结构 统计数据 :统计
结构 控制 : 控制
结构来源: 来源
结构源地图: 源_MAP
结构错误消息: ERRORMSG公司
结构符号: 符号
结构静态环境: STATICENV公司
结构动态环境: DYNENV公司
结构裸露环境: 环境
结构环境: 环境
结构科塞环境:COERCE_ENV公司
结构环境参考号:ENVREF公司
结构模块ID: 模块_ID
结构PersStamps公司: PERSSTAMPS公司
结构 漂亮打印 : PRETTYPRINT印花
结构阿斯特: AST公司
结构打印挂钩: 印刷图案
结构编译器:VISCOMP公司


描述

结构统计数据

用于收集有关编译器阶段的统计信息的实用程序。

结构控制

允许以简单的方式调整编译器和交互式系统的参数。

结构漂亮打印

为想要进行Oppen-style漂亮打印的用户程序提供服务。

安装_pp我 （f）

用户定义数据类型d日，其完整符号路径名为（例如）我的结构。下部结构。d日，然后定义漂亮的打印机

dp:ppstream->d->单元

结束d日，可能使用Oppen原语。然后dp（差分）安装在pp表中

install_pp[“MyStruct”，“Substruct”，“d”]dp

随后，当类型为d日打印出来后，交互系统使用dp（差分）用于显示值，而不是使用默认的数据类型prettyprinter。

结构兰姆达

类型列克斯普

结构编译器

版本

说明正在运行的SML/NJ版本。系统通常为“新泽西州标准ML”，版本id告知主版本号和次版本号，以及日期用英语拼写。

建筑学

运行系统的指令集体系结构的短标识符。