2020-04-08 03:21:33 +03:00
```ucm:hide
2024-06-12 01:22:09 +03:00
scratch/main> builtins.merge
2020-04-08 03:21:33 +03:00
```
### `debug.file`
I can use `debug.file` to see the hashes of the last typechecked file.
Given this .u file:
```unison:hide
2021-08-24 00:05:37 +03:00
structural type outside.A = A Nat outside.B
structural type outside.B = B Int
2020-04-08 03:21:33 +03:00
outside.c = 3
outside.d = c < (p + 1)
2021-08-24 00:05:37 +03:00
structural type inside.M = M outside.A
2020-04-08 03:21:33 +03:00
inside.p = c
inside.q x = x + p * p
inside.r = d
```
```ucm
2024-06-12 01:22:09 +03:00
scratch/main> debug.file
2020-04-08 03:21:33 +03:00
```
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
2024-06-12 01:22:09 +03:00
scratch/main> add
scratch/main> dependents q
scratch/main> dependencies q
scratch/main> dependencies B
scratch/main> dependencies d
scratch/main> dependents d
scratch/main>
2020-04-08 03:21:33 +03:00
```
2021-08-24 00:05:37 +03:00
We don't have an index for dependents of constructors, but iirc if you ask for that, it will show you dependents of the structural type that provided the constructor.