Mercurial > urweb

comparison src/cjr_print.sml @ 608:330a7de47914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Export RPC functions and push RPC calls through to Mono
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 09:27:36 -0500
parents 889dc9fceb3a
children 56aaa1941dad
comparison
equal deleted inserted replaced
607:0dd40b6bfdf3 608:330a7de47914
1847 env ds 1847 env ds
1848 1848
1849 val fields = foldl (fn ((ek, _, _, ts), fields) => 1849 val fields = foldl (fn ((ek, _, _, ts), fields) =>
1850 case ek of 1850 case ek of
1851 Core.Link => fields 1851 Core.Link => fields
1852 | Core.Rpc => fields
1852 | Core.Action => 1853 | Core.Action =>
1853 case List.nth (ts, length ts - 2) of 1854 case List.nth (ts, length ts - 2) of
1854 (TRecord i, _) => 1855 (TRecord i, _) =>
1855 let 1856 let
1856 val xts = E.lookupStruct env i 1857 val xts = E.lookupStruct env i
1969 fun p_page (ek, s, n, ts) = 1970 fun p_page (ek, s, n, ts) =
1970 let 1971 let
1971 val (ts, defInputs, inputsVar) = 1972 val (ts, defInputs, inputsVar) =
1972 case ek of 1973 case ek of
1973 Core.Link => (List.take (ts, length ts - 1), string "", string "") 1974 Core.Link => (List.take (ts, length ts - 1), string "", string "")
1975 | Core.Rpc => (List.take (ts, length ts - 1), string "", string "")
1974 | Core.Action => 1976 | Core.Action =>
1975 case List.nth (ts, length ts - 2) of 1977 case List.nth (ts, length ts - 2) of
1976 (TRecord i, _) => 1978 (TRecord i, _) =>
1977 let 1979 let
1978 val xts = E.lookupStruct env i 1980 val xts = E.lookupStruct env i