comparison src/settings.sig @ 2197:6eae499c56cb

New .urp directive: jsFile
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Dec 2015 12:04:06 -0500
parents fb113569519e
children 6fb9232ade99
comparison
equal deleted inserted replaced
2196:100352dbae36 2197:6eae499c56cb
286 val setFilePath : string -> unit 286 val setFilePath : string -> unit
287 (* Sets the directory where we look for files being added below. *) 287 (* Sets the directory where we look for files being added below. *)
288 288
289 val addFile : {Uri : string, LoadFromFilename : string} -> unit 289 val addFile : {Uri : string, LoadFromFilename : string} -> unit
290 val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list 290 val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list
291
292 val addJsFile : string (* filename *) -> unit
293 val listJsFiles : unit -> {Filename : string, Content : string} list
291 end 294 end