view tests/crud1.html @ 2195:18e6fb487880

Reduce: add reduction in some spots previously missed, associated with 'case' return types
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Nov 2015 18:48:17 -0500
parents 728aaeea12fd
children
line wrap: on
line source
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"><head></head><body>
<p>Inserted with ID 1.</p>

<table border="1">
<tr>
<th>ID</th>
<th>A</th>
<th>B</th>
<th>C</th>
<th>D</th>
</tr>

<tr>
<td>1</td>
<td>1</td>
<td>2</td>
<td>3</td>
<td>True</td>
<td>
<a href="/Demo/Crud1/upd/1">[Update]</a>
<a href="/Demo/Crud1/confirm/1">[Delete]</a>
</td>
</tr>

</table>
<br /><hr /><br />

 <form method="post" action="/Demo/Crud1/create">
<li> A: <input type="text" name="A" /></li>
<li> B: <input type="text" name="B" /></li>
<li> C: <input type="text" name="C" /></li>
<li> D: <input type="checkbox" name="D" /></li>
<input type="submit" />
</form>

</body></html>