Browse Source

Remove unnecessary code from Ur/Web benchmark implementation

Adam Chlipala 11 years ago
parent
commit
28ae46d456
2 changed files with 2 additions and 7 deletions
  1. 1 1
      .gitignore
  2. 1 6
      frameworks/Ur/urweb/bench.ur

+ 1 - 1
.gitignore

@@ -71,4 +71,4 @@ go/pkg/*
 beego/pkg/*
 
 # urweb
-urweb/*.exe
+frameworks/Ur/urweb/*.exe

+ 1 - 6
frameworks/Ur/urweb/bench.ur

@@ -96,13 +96,8 @@ fun queries s =
 (** A new table, specific to this test *)
 table fortune : {Id : int, Message : string} PRIMARY KEY Id
 
-(** Teach the JSON library about good string names for the columns. *)
-type fortune_t = {Id : int, Message : string}
-val fortune_conversion : json fortune_t =
-    json_record {Id = "id", Message = "message"}
-
 (** Here's the additional fortune mandated by the spec. *)
-val new_fortune : fortune_t =
+val new_fortune =
     {Id = 0, Message = "Additional fortune added at request time."}
 
 (** Actual page handler *)