Mercurial > urweb
comparison src/expl_env.sml @ 48:0a5c312de09a
Start of FFI
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 09:27:29 -0400 |
parents | d16ef24de78b |
children | d3cc191cb25f |
comparison
equal
deleted
inserted
replaced
47:ac4c0b4111ba | 48:0a5c312de09a |
---|---|
240 case d of | 240 case d of |
241 DCon (x, n, k, c) => pushCNamed env x n k (SOME c) | 241 DCon (x, n, k, c) => pushCNamed env x n k (SOME c) |
242 | DVal (x, n, t, _) => pushENamed env x n t | 242 | DVal (x, n, t, _) => pushENamed env x n t |
243 | DSgn (x, n, sgn) => pushSgnNamed env x n sgn | 243 | DSgn (x, n, sgn) => pushSgnNamed env x n sgn |
244 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn | 244 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn |
245 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn | |
245 | 246 |
246 fun sgiBinds env (sgi, _) = | 247 fun sgiBinds env (sgi, _) = |
247 case sgi of | 248 case sgi of |
248 SgiConAbs (x, n, k) => pushCNamed env x n k NONE | 249 SgiConAbs (x, n, k) => pushCNamed env x n k NONE |
249 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) | 250 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) |