diff options
| author | Nadrieril | 2019-08-27 23:18:13 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-28 13:16:07 +0200 |
| commit | a7363042a16364a6dafdd545f4069dcf04a4197e (patch) | |
| tree | fc915b8f5e5f41eb20571c4ad67dd4bb9ace72bc /dhall/src/error/text/UnusedHandler.txt | |
| parent | a981afc465f4279a7a4d6ce3ac5844e04846613b (diff) | |
Rename SubExpr to Expr, and Expr to RawExpr
For clarity, and consistency with Value
Diffstat (limited to 'dhall/src/error/text/UnusedHandler.txt')
0 files changed, 0 insertions, 0 deletions