From 9bd2b016ef2eedf73d2d00d22c009b0d3a8558d3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 4 Oct 2008 20:05:50 -0400 Subject: Expand cases where expression wildcards are allowed --- tests/crud1.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tests/crud1.ur') diff --git a/tests/crud1.ur b/tests/crud1.ur index 10722b55..cca71aab 100644 --- a/tests/crud1.ur +++ b/tests/crud1.ur @@ -12,7 +12,7 @@ open Crud.Make(struct Widget = fn nm :: Name => , WidgetPopulated = fn (nm :: Name) n => , Parse = readError _, - Inject = sql_int + Inject = _ }, B = { Nam = "B", @@ -20,7 +20,7 @@ open Crud.Make(struct Widget = fn nm :: Name => , WidgetPopulated = fn (nm :: Name) s => , Parse = readError _, - Inject = sql_string + Inject = _ }, C = { Nam = "C", @@ -28,7 +28,7 @@ open Crud.Make(struct Widget = fn nm :: Name => , WidgetPopulated = fn (nm :: Name) n => , Parse = readError _, - Inject = sql_float + Inject = _ }, D = { Nam = "D", @@ -36,7 +36,7 @@ open Crud.Make(struct Widget = fn nm :: Name => , WidgetPopulated = fn (nm :: Name) b => , Parse = fn x => x, - Inject = sql_bool + Inject = _ } } end) -- cgit v1.2.3