comparison src/compiler.sig @ 1082:4b2f50829af5

Alternate job-parsing interface, to avoid merging library directives
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Dec 2009 15:29:38 -0500
parents d069b193ed6b
children f1647f16097d
comparison
equal deleted inserted replaced
1081:25d491287358 1082:4b2f50829af5
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2009, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
71 val timePrint : ('src, 'dst) transform -> 'src -> unit 71 val timePrint : ('src, 'dst) transform -> 'src -> unit
72 72
73 val parseUr : (string, Source.file) phase 73 val parseUr : (string, Source.file) phase
74 val parseUrs : (string, Source.sgn_item list) phase 74 val parseUrs : (string, Source.sgn_item list) phase
75 val parseUrp : (string, job) phase 75 val parseUrp : (string, job) phase
76 val parseUrp' : (string, {Job : job, Libs : string list}) phase
76 77
77 val parse : (job, Source.file) phase 78 val parse : (job, Source.file) phase
78 val elaborate : (Source.file, Elab.file) phase 79 val elaborate : (Source.file, Elab.file) phase
79 val unnest : (Elab.file, Elab.file) phase 80 val unnest : (Elab.file, Elab.file) phase
80 val termination : (Elab.file, Elab.file) phase 81 val termination : (Elab.file, Elab.file) phase
102 val prepare : (Cjr.file, Cjr.file) phase 103 val prepare : (Cjr.file, Cjr.file) phase
103 val checknest : (Cjr.file, Cjr.file) phase 104 val checknest : (Cjr.file, Cjr.file) phase
104 val sqlify : (Mono.file, Cjr.file) phase 105 val sqlify : (Mono.file, Cjr.file) phase
105 106
106 val toParseJob : (string, job) transform 107 val toParseJob : (string, job) transform
108 val toParseJob' : (string, {Job : job, Libs : string list}) transform
107 val toParse : (string, Source.file) transform 109 val toParse : (string, Source.file) transform
108 val toElaborate : (string, Elab.file) transform 110 val toElaborate : (string, Elab.file) transform
109 val toUnnest : (string, Elab.file) transform 111 val toUnnest : (string, Elab.file) transform
110 val toTermination : (string, Elab.file) transform 112 val toTermination : (string, Elab.file) transform
111 val toExplify : (string, Expl.file) transform 113 val toExplify : (string, Expl.file) transform