Mercurial > urweb
comparison src/cjr_print.sml @ 390:519366a76603
num_float
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 10:40:22 -0400 |
parents | acaf9d19fbb7 |
children | ab3177746c78 |
comparison
equal
deleted
inserted
replaced
389:acaf9d19fbb7 | 390:519366a76603 |
---|---|
615 p_exp' true env e1]) | 615 p_exp' true env e1]) |
616 | 616 |
617 | EBinop (s, e1, e2) => | 617 | EBinop (s, e1, e2) => |
618 if Char.isAlpha (String.sub (s, size s - 1)) then | 618 if Char.isAlpha (String.sub (s, size s - 1)) then |
619 box [string s, | 619 box [string s, |
620 string "(", | |
620 p_exp env e1, | 621 p_exp env e1, |
621 string ",", | 622 string ",", |
622 space, | 623 space, |
623 p_exp env e2, | 624 p_exp env e2, |
624 string ")"] | 625 string ")"] |
2052 newline, | 2053 newline, |
2053 string "#include <stdlib.h>", | 2054 string "#include <stdlib.h>", |
2054 newline, | 2055 newline, |
2055 string "#include <string.h>", | 2056 string "#include <string.h>", |
2056 newline, | 2057 newline, |
2058 string "#include <math.h>", | |
2059 newline, | |
2057 string "#include <postgresql/libpq-fe.h>", | 2060 string "#include <postgresql/libpq-fe.h>", |
2058 newline, | 2061 newline, |
2059 newline, | 2062 newline, |
2060 string "#include \"", | 2063 string "#include \"", |
2061 string (OS.Path.joinDirFile {dir = Config.includ, | 2064 string (OS.Path.joinDirFile {dir = Config.includ, |