Mercurial > urweb

comparison src/compiler.sig @ 193:8a70e2919e86

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Specialization of single-parameter datatypes
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 17:55:51 -0400
parents c0ea24dcb86f
children f2cac0dba9bf
comparison
equal deleted inserted replaced
192:9bbf4d383381 193:8a70e2919e86
44 val explify : job -> Expl.file option 44 val explify : job -> Expl.file option
45 val corify : job -> Core.file option 45 val corify : job -> Core.file option
46 val shake' : job -> Core.file option 46 val shake' : job -> Core.file option
47 val tag : job -> Core.file option 47 val tag : job -> Core.file option
48 val reduce : job -> Core.file option 48 val reduce : job -> Core.file option
49 val specialize : job -> Core.file option
49 val shake : job -> Core.file option 50 val shake : job -> Core.file option
50 val monoize : job -> Mono.file option 51 val monoize : job -> Mono.file option
51 val mono_opt' : job -> Mono.file option 52 val mono_opt' : job -> Mono.file option
52 val untangle : job -> Mono.file option 53 val untangle : job -> Mono.file option
53 val mono_reduce : job -> Mono.file option 54 val mono_reduce : job -> Mono.file option
60 val testExplify : job -> unit 61 val testExplify : job -> unit
61 val testCorify : job -> unit 62 val testCorify : job -> unit
62 val testShake' : job -> unit 63 val testShake' : job -> unit
63 val testTag : job -> unit 64 val testTag : job -> unit
64 val testReduce : job -> unit 65 val testReduce : job -> unit
66 val testSpecialize : job -> unit
65 val testShake : job -> unit 67 val testShake : job -> unit
66 val testMonoize : job -> unit 68 val testMonoize : job -> unit
67 val testMono_opt' : job -> unit 69 val testMono_opt' : job -> unit
68 val testUntangle : job -> unit 70 val testUntangle : job -> unit
69 val testMono_reduce : job -> unit 71 val testMono_reduce : job -> unit