Commit Graph

9 Commits

Author SHA1 Message Date
Chris Penner
fcc251de2e Convert create-author.md to projects 2024-06-25 17:15:00 -07:00
Chris Penner
26a0bf7b40 Edit transcripts to be in projects 2024-06-25 11:12:43 -07:00
Chris Penner
5ca1eb3b8d Replace '.' references with scratch/main 2024-06-25 11:11:07 -07:00
Chris Penner
f2244f612e Fix create author transcript 2024-01-08 13:51:13 -08:00
Mitchell Rosen
b7d43cf40f remove a bunch of metadata-related code 2024-01-03 20:44:55 -05:00
Paul Chiusano
eee6f0ff0a uncontroversial transcript diffs 2021-08-02 11:55:27 -04:00
Arya Irani
ca76d3686b delay serializing IOSource definitions to codebase until builtins.merge
and actually not until `builtins.mergeio`.

I would have liked to delay typechecking in IOSource.hs altogether, but
it being forced somewhere that was not immediately obvious to me.

This shouldn't impact anyone who already has `.base` or some other copy
of the io primitives, and the upshot is saving some time on transcripts.

`builtins.merge` will give you everything that's in `Unison.Builtin` and
`Unison.Builtin.Decls`, `builtins.mergeio` will give you those plus the
stuff in `Unison.Runtime.IOSource`.
2020-04-08 19:34:43 -04:00
Arya Irani
5bfe950850 hide some transcript output 2020-04-03 20:57:10 -04:00
Arya Irani
b73b2c8fa2 implemented create.author command
closes #1392
2020-04-03 20:49:07 -04:00