comparison src/source_print.sml @ 48:0a5c312de09a

Start of FFI
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 09:27:29 -0400
parents a9f3ce2d1b9b
children fd8a81ecd598
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
333 p_sgn sgn, 333 p_sgn sgn,
334 space, 334 space,
335 string "=", 335 string "=",
336 space, 336 space,
337 p_str str] 337 p_str str]
338 | DFfiStr (x, sgn) => box [string "extern",
339 space,
340 string "structure",
341 space,
342 string x,
343 space,
344 string ":",
345 space,
346 p_sgn sgn]
338 347
339 and p_str (str, _) = 348 and p_str (str, _) =
340 case str of 349 case str of
341 StrConst ds => box [string "struct", 350 StrConst ds => box [string "struct",
342 newline, 351 newline,