comparison src/source_print.sml @ 44:a9f3ce2d1b9b

Elaborating functor applications
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 17:04:08 -0400
parents b3fbbc6cb1e5
children 0a5c312de09a
comparison
equal deleted inserted replaced
43:d94c484337d0 44:a9f3ce2d1b9b
373 p_sgn sgn', 373 p_sgn sgn',
374 space, 374 space,
375 string "=>", 375 string "=>",
376 space, 376 space,
377 p_str str] 377 p_str str]
378 | StrApp (str1, str2) => box [p_str str1,
379 string "(",
380 p_str str2,
381 string ")"]
378 382
379 val p_file = p_list_sep newline p_decl 383 val p_file = p_list_sep newline p_decl
380 384
381 end 385 end