Mercurial > urweb

comparison src/expl_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 3c1ce1b4eb3d
children d609820c5834
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
359 p_sgn env sgn, 359 p_sgn env sgn,
360 space, 360 space,
361 string "=", 361 string "=",
362 space, 362 space,
363 p_str env str] 363 p_str env str]
364 | DFfiStr (x, n, sgn) => box [string "extern",
365 space,
366 string "structure",
367 space,
368 p_named x n,
369 space,
370 string ":",
371 space,
372 p_sgn env sgn]
364 373
365 and p_str env (str, _) = 374 and p_str env (str, _) =
366 case str of 375 case str of
367 StrConst ds => box [string "struct", 376 StrConst ds => box [string "struct",
368 newline, 377 newline,