diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-05-02 19:19:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-05-02 19:19:09 -0400 |
| commit | a67b10880366304b1004dedcbf616ba70c1e196d (patch) | |
| tree | bdccc17f7ec57e17465ac689d0f02d7b8c219a8b /src/elab.sml | |
| parent | 8184fe8f3af43f4b614b79c411fc3b5578645983 (diff) | |
New lessSafeFfi
Diffstat (limited to 'src/elab.sml')
| -rw-r--r-- | src/elab.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elab.sml b/src/elab.sml index 2dab5c34..249531f1 100644 --- a/src/elab.sml +++ b/src/elab.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2011, Adam Chlipala +(* Copyright (c) 2008-2011, 2014, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -181,6 +181,7 @@ datatype decl' = | DTask of exp * exp | DPolicy of exp | DOnError of int * string list * string + | DFfi of string * int * Source.ffi_mode list * con and str' = StrConst of decl list |