Mercurial > urweb
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, |