Mercurial > urweb

comparison src/elab_print.sml @ 48:0a5c312de09a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of FFI
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 09:27:29 -0400
parents a9f3ce2d1b9b
children abb2b32c19fb
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
377 p_sgn env sgn, 377 p_sgn env sgn,
378 space, 378 space,
379 string "=", 379 string "=",
380 space, 380 space,
381 p_str env str] 381 p_str env str]
382 | DFfiStr (x, n, sgn) => box [string "extern",
383 space,
384 string "structure",
385 space,
386 p_named x n,
387 space,
388 string ":",
389 space,
390 p_sgn env sgn]
382 391
383 and p_str env (str, _) = 392 and p_str env (str, _) =
384 case str of 393 case str of
385 StrConst ds => box [string "struct", 394 StrConst ds => box [string "struct",
386 newline, 395 newline,