unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 05:20:46 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/fix1334.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings 
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00

694 B
Raw Permalink Blame History

Previously, the alias.term and alias.type would fail if the source argument was hash-only, and there was no way to create an alias for a definition that didn't already have a name. Also, the replace.term and replace.type only worked on hashes, and they had to be full hashes.

With this PR, the source of an alias can be a short hash (even of a definition that doesn't currently have a name in the namespace) along with a name or hash-qualified name from the current namespace as usual.

Let's make some hash-only aliases, now that we can. :mad-with-power-emoji:

scratch/main> alias.type ##Nat Cat

  Done.

scratch/main> alias.term ##Nat.+ please_fix_763.+

  Done.