diff options
| author | Eduardo Julian | 2022-01-20 04:30:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-01-20 04:30:57 -0400 |
| commit | 14bf4ffe5d7d88692ab895f96a2bb6a829a406de (patch) | |
| tree | ef9204bb10c817c6d7feddfa20c7305dbc6a042d /lux-bootstrapper | |
| parent | c98d05fcb43714dc7e2ce07ab3fa17b78f21b3bf (diff) | |
Better text formatting for types.
Diffstat (limited to 'lux-bootstrapper')
| -rw-r--r-- | lux-bootstrapper/src/lux/type.clj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-bootstrapper/src/lux/type.clj b/lux-bootstrapper/src/lux/type.clj index aa2f8c9f2..9935d9cfa 100644 --- a/lux-bootstrapper/src/lux/type.clj +++ b/lux-bootstrapper/src/lux/type.clj @@ -393,10 +393,10 @@ (str "(-> " (->> ?ins (&/|map show-type) (&/|interpose " ") (&/fold str "")) " " (show-type ?out) ")")) (&/$Var id) - (str "⌈v:" id "⌋") + (str "-" id) (&/$Ex ?id) - (str "⟨e:" ?id "⟩") + (str "+" ?id) (&/$Parameter idx) (str idx) |