Merge pull request #12 from OxfordAbstracts/nowrite-extern

drop more stuff from sqlite

Author: seastian

profile-admin.txt

@@ -1,27 +1,27 @@
 'purs' 'compile' '--source-globs-file' '.spago/sources.txt' +RTS '-N' '-A256m' '-n16m' '-sprofile.txt' 
- 599,749,969,784 bytes allocated in the heap
-  62,069,592,800 bytes copied during GC
-   4,801,445,848 bytes maximum residency (7 sample(s))
-      31,633,448 bytes maximum slop
-           16226 MiB total memory in use (0 MiB lost due to fragmentation)
+ 599,360,564,696 bytes allocated in the heap
+  66,917,608,776 bytes copied during GC
+   4,765,165,840 bytes maximum residency (8 sample(s))
+      32,303,648 bytes maximum slop
+           15977 MiB total memory in use (0 MiB lost due to fragmentation)
 
                                      Tot time (elapsed)  Avg pause  Max pause
-  Gen  0       232 colls,   232 par   58.775s   8.031s     0.0346s    0.1425s
-  Gen  1         7 colls,     6 par   17.978s   4.666s     0.6666s    1.5471s
+  Gen  0       230 colls,   230 par   59.917s   7.874s     0.0342s    0.1866s
+  Gen  1         8 colls,     7 par   20.777s   4.651s     0.5814s    1.3136s
 
-  Parallel GC work balance: 92.23% (serial 0%, perfect 100%)
+  Parallel GC work balance: 92.54% (serial 0%, perfect 100%)
 
   TASKS: 65 (1 bound, 64 peak workers (64 total), using -N10)
 
   SPARKS: 7516 (7516 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
 
-  INIT    time    0.149s  (  0.149s elapsed)
-  MUT     time  298.230s  ( 81.714s elapsed)
-  GC      time   76.753s  ( 12.697s elapsed)
-  EXIT    time    0.261s  (  0.003s elapsed)
-  Total   time  375.393s  ( 94.563s elapsed)
+  INIT    time    0.149s  (  0.148s elapsed)
+  MUT     time  300.329s  ( 79.376s elapsed)
+  GC      time   80.694s  ( 12.525s elapsed)
+  EXIT    time    0.143s  (  0.013s elapsed)
+  Total   time  381.314s  ( 92.062s elapsed)
 
-  Alloc rate    2,011,031,039 bytes per MUT second
+  Alloc rate    1,995,676,916 bytes per MUT second
 
-  Productivity  79.4% of total user, 86.4% of total elapsed
+  Productivity  78.8% of total user, 86.2% of total elapsed
 

profile.txt

@@ -1,27 +1,27 @@
 'purs' 'compile' '--source-globs-file' '.spago/sources.txt' +RTS '-N' '-A256m' '-n16m' '-sprofile.txt' 
-1,173,434,083,800 bytes allocated in the heap
-  90,812,899,016 bytes copied during GC
-   2,324,365,280 bytes maximum residency (16 sample(s))
-      41,667,856 bytes maximum slop
-            9037 MiB total memory in use (0 MiB lost due to fragmentation)
+1,170,918,177,592 bytes allocated in the heap
+  90,005,666,912 bytes copied during GC
+   2,370,368,472 bytes maximum residency (16 sample(s))
+      41,651,696 bytes maximum slop
+            9462 MiB total memory in use (0 MiB lost due to fragmentation)
 
                                      Tot time (elapsed)  Avg pause  Max pause
-  Gen  0       438 colls,   438 par   98.124s  12.261s     0.0280s    0.1369s
-  Gen  1        16 colls,    15 par   26.352s   3.585s     0.2240s    0.3630s
+  Gen  0       438 colls,   438 par   97.546s  11.865s     0.0271s    0.1284s
+  Gen  1        16 colls,    15 par   25.189s   3.451s     0.2157s    0.4240s
 
-  Parallel GC work balance: 90.36% (serial 0%, perfect 100%)
+  Parallel GC work balance: 90.86% (serial 0%, perfect 100%)
 
-  TASKS: 71 (1 bound, 69 peak workers (70 total), using -N10)
+  TASKS: 72 (1 bound, 69 peak workers (71 total), using -N10)
 
   SPARKS: 7516 (7516 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
 
-  INIT    time    0.176s  (  0.175s elapsed)
-  MUT     time  596.810s  (105.074s elapsed)
-  GC      time  124.476s  ( 15.845s elapsed)
-  EXIT    time    0.096s  (  0.008s elapsed)
-  Total   time  721.557s  (121.102s elapsed)
+  INIT    time    0.165s  (  0.164s elapsed)
+  MUT     time  593.487s  (103.752s elapsed)
+  GC      time  122.735s  ( 15.316s elapsed)
+  EXIT    time    0.105s  (  0.005s elapsed)
+  Total   time  716.491s  (119.237s elapsed)
 
-  Alloc rate    1,966,178,107 bytes per MUT second
+  Alloc rate    1,972,948,091 bytes per MUT second
 
-  Productivity  82.7% of total user, 86.8% of total elapsed
+  Productivity  82.8% of total user, 87.0% of total elapsed
 

src/Language/PureScript/Make/IdeCache.hs

@@ -58,11 +58,9 @@ sqliteExtern outputDir m extern = liftIO $ do
 
 
     SQLite.executeNamed conn
-      "insert into modules (module_name, comment, extern, dec) values (:module_name, :docs, :extern, :dec)"
+      "insert into modules (module_name, extern) values (:module_name, :extern)"
       [ ":module_name" :=  runModuleName ( efModuleName extern )
-      , ":docs" := Just ("" :: Text)
       , ":extern" := Serialise.serialise extern
-      , ":dec" := show ( efExports extern )
       ]
 
     for_ (getModuleDeclarations m) (\d -> doDecl d)
@@ -138,9 +136,7 @@ sqliteInit outputDir = liftIO $ do
     SQLite.execute_ conn $ SQLite.Query $ Text.pack $ unlines
       [ "create table if not exists modules ("
       , " module_name text primary key,"
-      , " comment text,"
       , " extern blob,"
-      , " dec text,"
       , " unique (module_name) on conflict replace"
       , ")"
       ]