Mercurial > urweb

comparison lib/ur/basis.urs @ 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 d049d31a1966
children b302b6e35f93
comparison
equal deleted inserted replaced
738:7fa4871e8272 739:4bb7e1c0550a
516 516
517 type file 517 type file
518 val fileName : file -> option string 518 val fileName : file -> option string
519 val fileData : file -> blob 519 val fileData : file -> blob
520 520
521 type files 521 val upload : formTag file [] [Value = string, Size = int]
522 val numFiles : files -> int
523 val fileNum : files -> int -> file
524
525 val upload : formTag files [] [Value = string, Size = int]
526 522
527 con radio = [Body, Radio] 523 con radio = [Body, Radio]
528 val radio : formTag string radio [] 524 val radio : formTag string radio []
529 val radioOption : unit -> tag [Value = string] radio [] [] [] 525 val radioOption : unit -> tag [Value = string] radio [] [] []
530 526