Mercurial > urweb
view tests/urblog.ur @ 1861:52043ad66ce7
Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 09 Aug 2013 16:04:16 -0400 |
parents | 19e8e3d556d6 |
children |
line wrap: on
line source
table entry : { Id : int, Title : string, Created : time, Author : string, Body : string } PRIMARY KEY Id fun list () = rows <- queryX (SELECT * FROM entry) (fn row => <xml> <div> <h1>{[row.Entry.Title]}</h1><br /> <h2>By {[row.Entry.Author]} at {[row.Entry.Created]}</h2> <p>{[row.Entry.Body]}</p> </div> </xml> ); return <xml> <head> <title>All Entries</title> </head> <body> <h1>All Entries</h1> {rows} </body> </xml> fun main () = return <xml> <head> <title>UrBlog</title> </head> <body> <h1>UrBlog</h1> </body> </xml>