mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-23 16:28:02 +03:00
39 lines
836 B
Markdown
39 lines
836 B
Markdown
```ucm:hide
|
|
.> builtins.merge
|
|
```
|
|
|
|
### `debug.file`
|
|
I can use `debug.file` to see the hashes of the last typechecked file.
|
|
|
|
Given this .u file:
|
|
```unison:hide
|
|
type outside.A = A Nat outside.B
|
|
type outside.B = B Int
|
|
outside.c = 3
|
|
outside.d = c < (p + 1)
|
|
|
|
type inside.M = M outside.A
|
|
inside.p = c
|
|
inside.q x = x + p * p
|
|
inside.r = d
|
|
```
|
|
```ucm
|
|
.> debug.file
|
|
```
|
|
|
|
This will help me make progress in some situations when UCM is being deficient or broken.
|
|
|
|
### `dependents` / `dependencies`
|
|
But wait, there's more. I can check the dependencies and dependents of a definition:
|
|
```ucm
|
|
.> add
|
|
.> dependents q
|
|
.> dependencies q
|
|
.> dependencies B
|
|
.> dependencies d
|
|
.> dependents d
|
|
.>
|
|
```
|
|
|
|
We don't have an index for dependents of constructors, but iirc if you ask for that, it will show you dependents of the type that provided the constructor.
|