Mercurial > urweb

comparison src/cjr_print.sml @ 314:a07f476d9b61

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Termination checking allows anything in links and actions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Sep 2008 12:36:13 -0400
parents 9ad92047a499
children 04ebfe929a98
comparison
equal deleted inserted replaced
313:e0ed0d4dabc9 314:a07f476d9b61
1527 1527
1528 fun p_page (ek, s, n, ts) = 1528 fun p_page (ek, s, n, ts) =
1529 let 1529 let
1530 val (ts, defInputs, inputsVar) = 1530 val (ts, defInputs, inputsVar) =
1531 case ek of 1531 case ek of
1532 Core.Link => (ts, string "", string "") 1532 Core.Link => (List.take (ts, length ts - 1), string "", string "")
1533 | Core.Action => 1533 | Core.Action =>
1534 case List.nth (ts, length ts - 2) of 1534 case List.nth (ts, length ts - 2) of
1535 (TRecord i, _) => 1535 (TRecord i, _) =>
1536 let 1536 let
1537 val xts = E.lookupStruct env i 1537 val xts = E.lookupStruct env i