|Pliant talk forum
Discussion: Listing prety printing
Reflexions about prety printing of Pliant source files
|Message posted by pom on 2003/03/15 13:03:35
|I tried to make a first version of a Pliant which keeps all the informations
for a prety printing, with links to meta, methods, types, globals, aso.
Although the format I used is not so well optimized and although it induces
the conservation of all the compiled values, functions, aso,
I obtain the following dump sizes:
8710204 for default-debug0.dump
9418796 for default-debug1.dump
13051960 for default-debug2.dump
21108932 for servers-debug1.dump, which is a precompilation of my server
With the kept informations, I can prety print every module, even those
having a scope.
I know these sizes are quite big, but a 20Mb server could be ok if it was
dedicated to prety printing, with a limited number of threads.
|Message posted by pom on 2003/03/15 13:12:48
Sample listing: part of /pliant/language/basic/implicit.pli
# Copyright Hubert Tonneau firstname.lastname@example.org
scope "/pliant/language/" "/pliant/install/"
field Str ident
field Link:Module module
gvar Relation rec
gvar List implicits
meta implicit e
|Message posted by pom on 2003/03/15 18:06:53
|with more work, keeping only intersting things, I got
4073540 for default-debug0.dump
4634716 for default-debug1.dump
5691552 for default-debug2.dump
11700372 for servers-debug1.dump (my precompiled server)