Mercurial > urweb
comparison src/elab.sml @ 2010:403f0cc65b9c
New lessSafeFfi
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 19:19:09 -0400 |
parents | 1aa9629e3a4c |
children | 22117edf8fd3 |
comparison
equal
deleted
inserted
replaced
2009:799be3911ce3 | 2010:403f0cc65b9c |
---|---|
1 (* Copyright (c) 2008-2011, Adam Chlipala | 1 (* Copyright (c) 2008-2011, 2014, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
179 | DCookie of int * string * int * con | 179 | DCookie of int * string * int * con |
180 | DStyle of int * string * int | 180 | DStyle of int * string * int |
181 | DTask of exp * exp | 181 | DTask of exp * exp |
182 | DPolicy of exp | 182 | DPolicy of exp |
183 | DOnError of int * string list * string | 183 | DOnError of int * string list * string |
184 | DFfi of string * int * Source.ffi_mode list * con | |
184 | 185 |
185 and str' = | 186 and str' = |
186 StrConst of decl list | 187 StrConst of decl list |
187 | StrVar of int | 188 | StrVar of int |
188 | StrProj of str * string | 189 | StrProj of str * string |