Mercurial > urweb
comparison src/expl.sml @ 2010:403f0cc65b9c
New lessSafeFfi
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 19:19:09 -0400 |
parents | 1aa9629e3a4c |
children |
comparison
equal
deleted
inserted
replaced
2009:799be3911ce3 | 2010:403f0cc65b9c |
---|---|
148 | DCookie of int * string * int * con | 148 | DCookie of int * string * int * con |
149 | DStyle of int * string * int | 149 | DStyle of int * string * int |
150 | DTask of exp * exp | 150 | DTask of exp * exp |
151 | DPolicy of exp | 151 | DPolicy of exp |
152 | DOnError of int * string list * string | 152 | DOnError of int * string list * string |
153 | DFfi of string * int * Source.ffi_mode list * con | |
153 | 154 |
154 and str' = | 155 and str' = |
155 StrConst of decl list | 156 StrConst of decl list |
156 | StrVar of int | 157 | StrVar of int |
157 | StrProj of str * string | 158 | StrProj of str * string |