Mercurial > urweb

comparison src/cjr_print.sml @ 1692:a1a1d66aebac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change <radio> to yield [option string]
author Adam Chlipala <adam@chlipala.net>
date Sat, 10 Mar 2012 12:53:33 -0500
parents ea292bf9431f
children 27e731a65934
comparison
equal deleted inserted replaced
1691:ea292bf9431f 1692:a1a1d66aebac
1 (* Copyright (c) 2008-2011, Adam Chlipala 1 (* Copyright (c) 2008-2012, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
2866 string " = result;", 2866 string " = result;",
2867 newline], 2867 newline],
2868 string "}}", 2868 string "}}",
2869 newline] 2869 newline]
2870 end 2870 end
2871 | TOption _ =>
2872 box [string "uw_input_",
2873 p_ident x,
2874 space,
2875 string "=",
2876 space,
2877 string "uw_get_input(ctx, ",
2878 string (Int.toString n),
2879 string ");",
2880 newline]
2871 | _ => 2881 | _ =>
2872 box [string "request = uw_get_", 2882 box [string "request = uw_get_",
2873 string f, 2883 string f,
2874 string "input(ctx, ", 2884 string "input(ctx, ",
2875 string (Int.toString n), 2885 string (Int.toString n),