Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Sep 09 11:46:33 2008 -0400
+++ b/src/cjr_print.sml	Tue Sep 09 12:36:13 2008 -0400
@@ -1529,7 +1529,7 @@
             let
                 val (ts, defInputs, inputsVar) =
                     case ek of
-                        Core.Link => (ts, string "", string "")
+                        Core.Link => (List.take (ts, length ts - 1), string "", string "")
                       | Core.Action =>
                         case List.nth (ts, length ts - 2) of
                             (TRecord i, _) =>