Provided by: urweb_20170720+dfsg-2build1_amd64
urweb - compiler for the Ur/Web programming language
urweb [option ...] [project-name] urweb daemon (start|stop)
This manual page briefly documents the urweb compiler. Extensive documentation is available in the Ur/Web reference manual. urweb is an optimizing compiler for Ur/Web, a functional, pure, statically typed, strictly evaluated programming language designed for constructing dynamic Web applications backed by SQL databases. urweb produces very efficient object code that does not use garbage collection; compiled programs will often be even more efficient than what most programmers would bother to write in C. The first invocation described compiles an Ur/Web project, while the second invocation controls the type inference daemon (see TYPE INFERENCE DAEMON). For simple projects, only familiarity with the first invocation is required.
TYPE INFERENCE DAEMON
Since Ur/Web type inference can take a significant amount of time, it can be helpful to cache type-inferred versions of source files. This mode can be activated by running urweb daemon start Further urweb invocations in the same working directory will send requests to a background daemon process that reuses type inference results whenever possible, tracking source file dependencies and modification times. To stop the background daemon, run urweb daemon stop Communication happens via a Unix domain socket in file .urweb_daemon in the working directory.
urweb is a product of research; while it is intended to be usable for real work, it may occasionally fail to produce optimal results. If you believe you've found a bug (e.g., the compiler throws an unhandled exception), contact the Ur/Web mailing list, firstname.lastname@example.org.
urweb is copyright © 2008-2017 Adam Chlipala and licensed under the 3-clause BSD license ⟨http://www.xfree86.org/3.3.6/COPYRIGHT2.html#5⟩. This manual page is copyright © 2013, 2015—2017 Benjamin Barenblat and licensed under the Apache License, Version 2.0. 2017-07-20 URWEB(1)