这是 uuagc 命令,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
uuagc - 属性语法编译器
概要
乌阿格克 [ 选项 ...] 文件
商品描述
这个程序 乌阿格克 是(乌得勒支大学)属性语法系统的编译器。
它将 AG 源文件 (.ag) 作为输入并生成常规 Haskell 源作为输出
文件 (.hs)。
可用选项:
-m 生成默认模块头
- 模块[=姓名]
生成模块头,指定模块名称
-d, - 数据
生成数据类型定义
--严格数据
生成严格的数据字段(生成数据时)
--严格包装
为 WRAPPER 生成的数据生成严格的包装字段
-c, --目录
产生变形
-f, --semfuns
生成语义函数
-s, --签名
为语义函数生成签名
--新类型
使用 newtypes 而不是类型同义词
-p, - 漂亮
生成漂亮的打印属性列表
-w, --包装器
为语义域生成 wapper
-r, - 改名
重命名数据构造函数
--modcopy
使用修改后的复制规则
- 巢
使用嵌套元组
--语法宏
实验性:生成语法宏代码(使用 knit catas)
-o 文件, - 输出=文件
指定输出 文件
-v, --详细
详细的错误信息格式
-h, -?, - 帮帮我
获取使用信息
-a, - 全部
做任何事 (-dcfsrm)
-P 搜索、 径, --=搜索、 径
指定 搜索 径
- 字首=字首
为语义函数设置前缀
- 自己
生成自身属性
- 循环
检查循环定义
- 版
获取版本信息
-O,--优化
优化生成的代码 (--visit --case)
- 访问
尝试生成访问函数
--seq
使用函数 seq 进行强制评估(仅限访问函数)
--开箱
使用未装箱的元组
- 案件
使用嵌套 case 而不是 let(仅访问函数)
--错误
将警告变成致命错误
--转储语法
转储内部语法表示(在生成的代码中)
版权
版权所有 © 1998 — 2005 Doaitse Swierstra、Arthur Baars 和 Alexey Rodriguez
版权所有 © 2005 — 2007 Alexey Rodriguez
版权所有 © 2005 — 2007 Joost Verhoog
版权所有 © 2006 — 2007 Arie Middelkoop
版权所有 © 2006 — 2007 Jeroen Fokker
版权所有 © 2007 Atze Dijkstra
这个包是免费软件; 您可以根据以下条款重新分发和/或修改它
由自由软件基金会发布的 GNU 通用公共许可证; 任何一个
许可的第2版,或(由您选择)任何更高版本。
分发这个包是希望它有用,但没有任何保证;
甚至没有对适销性或针对特定目的的适用性的暗示保证。
有关更多详细信息,请参阅 GNU 通用公共许可证。
您应该已经收到一份 GNU 通用公共许可证以及这个软件包;
如果没有,请写信给 Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
MA 02110-1301 美国
使用 onworks.net 服务在线使用 uuagc
