소스 검색

Changed List.mapM to List.app

Eric Easley 12 년 전
부모
커밋
cd31fbcdf4
2개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. BIN
      UrWeb/bench.exe
  2. 1 1
      UrWeb/bench.ur

BIN
UrWeb/bench.exe


+ 1 - 1
UrWeb/bench.ur

@@ -56,7 +56,7 @@ fun queries oqs =
 fun updates oqs =
 fun updates oqs =
   rows <- List.tabulateM (fn _ => n <- rand; world_find (clamp n)) (parseQueries oqs);
   rows <- List.tabulateM (fn _ => n <- rand; world_find (clamp n)) (parseQueries oqs);
   rows' <- List.mapM (fn r => n <- rand; return (r -- #RandomNumber ++ {RandomNumber = clamp n})) rows;
   rows' <- List.mapM (fn r => n <- rand; return (r -- #RandomNumber ++ {RandomNumber = clamp n})) rows;
-  u <- List.mapM (fn r => dml (UPDATE world SET RandomNumber = {[r.RandomNumber]} WHERE Id = {[r.Id]})) rows';
+  List.app (fn r => dml (UPDATE world SET RandomNumber = {[r.RandomNumber]} WHERE Id = {[r.Id]})) rows';
   returnJson rows'
   returnJson rows'
 
 
 table fortune : {Id : int, Message : string} PRIMARY KEY Id
 table fortune : {Id : int, Message : string} PRIMARY KEY Id