Mercurial > urweb

comparison src/source_print.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 42dfb0d61cf0
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
378 string x, 378 string x,
379 space, 379 space,
380 string ":", 380 string ":",
381 space, 381 space,
382 p_con c] 382 p_con c]
383 | SgiSequence x => box [string "sequence",
384 space,
385 string x]
383 | SgiClassAbs x => box [string "class", 386 | SgiClassAbs x => box [string "class",
384 space, 387 space,
385 string x] 388 string x]
386 | SgiClass (x, c) => box [string "class", 389 | SgiClass (x, c) => box [string "class",
387 space, 390 space,
540 string x, 543 string x,
541 space, 544 space,
542 string ":", 545 string ":",
543 space, 546 space,
544 p_con c] 547 p_con c]
548 | DSequence x => box [string "sequence",
549 space,
550 string x]
545 | DClass (x, c) => box [string "class", 551 | DClass (x, c) => box [string "class",
546 space, 552 space,
547 string x, 553 string x,
548 space, 554 space,
549 string "=", 555 string "=",