CakeML/cakeml

Use a file-based I/O interface to the compiler

Offen

#355 geöffnet am 26.10.2017

 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
good first issuehelp wanteduser experience

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

Make the top-level interface to the compiler accept the names of input file(s) on the command line, including a way to specify stdin, and an optional output file instead of stdout. (See comment in #319.) Probably depends on #248 and #354.

Contributor Guide