Mercurial > urweb

comparison src/cjr_print.sml @ 739:4bb7e1c0550a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Only allow single-file upload per control
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Apr 2009 14:35:49 -0400
parents 7fa4871e8272
children f7e2026dd5ae
comparison
equal deleted inserted replaced
738:7fa4871e8272 739:4bb7e1c0550a
454 454
455 fun isBlob Blob = true 455 fun isBlob Blob = true
456 | isBlob (Nullable t) = isBlob t 456 | isBlob (Nullable t) = isBlob t
457 | isBlob _ = false 457 | isBlob _ = false
458 458
459 fun isFiles (t : typ) = 459 fun isFile (t : typ) =
460 case #1 t of 460 case #1 t of
461 TFfi ("Basis", "files") => true 461 TFfi ("Basis", "file") => true
462 | _ => false 462 | _ => false
463 463
464 fun p_sql_type' t = 464 fun p_sql_type' t =
465 case t of 465 case t of
466 Int => "uw_Basis_int" 466 Int => "uw_Basis_int"
2421 2421
2422 val f = case t of 2422 val f = case t of
2423 (TFfi ("Basis", "bool"), _) => "optional_" 2423 (TFfi ("Basis", "bool"), _) => "optional_"
2424 | _ => "" 2424 | _ => ""
2425 in 2425 in
2426 if isFiles t then 2426 if isFile t then
2427 box [string "uw_input_", 2427 box [string "uw_input_",
2428 p_ident x, 2428 p_ident x,
2429 space, 2429 space,
2430 string "=", 2430 string "=",
2431 space, 2431 space,