comparison src/source_print.sml @ 805:e2780d2f4afc

Mutual datatypes through Elaborate
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:14:17 -0400
parents 8688e01ae469
children d4e811beb8eb
comparison
equal deleted inserted replaced
804:10fe57e4a8c2 805:e2780d2f4afc
358 space, 358 space,
359 p_exp e] 359 p_exp e]
360 360
361 361
362 fun p_datatype (x, xs, cons) = 362 fun p_datatype (x, xs, cons) =
363 box [string "datatype", 363 box [string x,
364 space,
365 string x,
366 p_list_sep (box []) (fn x => box [space, string x]) xs, 364 p_list_sep (box []) (fn x => box [space, string x]) xs,
367 space, 365 space,
368 string "=", 366 string "=",
369 space, 367 space,
370 p_list_sep (box [space, string "|", space]) 368 p_list_sep (box [space, string "|", space])
397 p_kind k, 395 p_kind k,
398 space, 396 space,
399 string "=", 397 string "=",
400 space, 398 space,
401 p_con c] 399 p_con c]
402 | SgiDatatype x => p_datatype x 400 | SgiDatatype x => box [string "datatype",
401 space,
402 p_list_sep (box [space, string "and", space]) p_datatype x]
403 | SgiDatatypeImp (x, ms, x') => 403 | SgiDatatypeImp (x, ms, x') =>
404 box [string "datatype", 404 box [string "datatype",
405 space, 405 space,
406 string x, 406 string x,
407 space, 407 space,
528 p_kind k, 528 p_kind k,
529 space, 529 space,
530 string "=", 530 string "=",
531 space, 531 space,
532 p_con c] 532 p_con c]
533 | DDatatype x => p_datatype x 533 | DDatatype x => box [string "datatype",
534 space,
535 p_list_sep (box [space, string "and", space]) p_datatype x]
534 | DDatatypeImp (x, ms, x') => 536 | DDatatypeImp (x, ms, x') =>
535 box [string "datatype", 537 box [string "datatype",
536 space, 538 space,
537 string x, 539 string x,
538 space, 540 space,