diff options
| author | Nadrieril | 2019-12-15 19:47:20 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-12-15 19:47:20 +0000 |
| commit | 7abd49772643ee4e131ef47de66db22ba7c1e037 (patch) | |
| tree | f9e84634beac051a8b201b9e91f74c8d332598f8 /dhall/src/semantics/phase | |
| parent | 929a34c177f8b18ae791f77bbd4630a862fb1070 (diff) | |
Move contents of dhall under a semantics submodule
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/phase/binary.rs (renamed from dhall/src/phase/binary.rs) | 0 | ||||
| -rw-r--r-- | dhall/src/semantics/phase/mod.rs (renamed from dhall/src/phase/mod.rs) | 0 | ||||
| -rw-r--r-- | dhall/src/semantics/phase/normalize.rs (renamed from dhall/src/phase/normalize.rs) | 0 | ||||
| -rw-r--r-- | dhall/src/semantics/phase/parse.rs (renamed from dhall/src/phase/parse.rs) | 0 | ||||
| -rw-r--r-- | dhall/src/semantics/phase/resolve.rs (renamed from dhall/src/phase/resolve.rs) | 0 | ||||
| -rw-r--r-- | dhall/src/semantics/phase/typecheck.rs (renamed from dhall/src/phase/typecheck.rs) | 0 |
6 files changed, 0 insertions, 0 deletions
diff --git a/dhall/src/phase/binary.rs b/dhall/src/semantics/phase/binary.rs index b1e7638..b1e7638 100644 --- a/dhall/src/phase/binary.rs +++ b/dhall/src/semantics/phase/binary.rs diff --git a/dhall/src/phase/mod.rs b/dhall/src/semantics/phase/mod.rs index 918c4d0..918c4d0 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/semantics/phase/mod.rs diff --git a/dhall/src/phase/normalize.rs b/dhall/src/semantics/phase/normalize.rs index 3ed53f4..3ed53f4 100644 --- a/dhall/src/phase/normalize.rs +++ b/dhall/src/semantics/phase/normalize.rs diff --git a/dhall/src/phase/parse.rs b/dhall/src/semantics/phase/parse.rs index e277e54..e277e54 100644 --- a/dhall/src/phase/parse.rs +++ b/dhall/src/semantics/phase/parse.rs diff --git a/dhall/src/phase/resolve.rs b/dhall/src/semantics/phase/resolve.rs index 5920f82..5920f82 100644 --- a/dhall/src/phase/resolve.rs +++ b/dhall/src/semantics/phase/resolve.rs diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs index 9a41be9..9a41be9 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/semantics/phase/typecheck.rs |