git.iko.soy/elk
on master help sign in
Update for rename from WritableStream/Mailbox to Mailbox/Address
07eb6d5Evan Czaplicki
src/AST/Variable.hs+3−3
compare with master
unifiedsplit
@@ -68,9 +68,9 @@ isStream =
68 is ["Signal"] "Stream"
68 is ["Signal"] "Stream"
69
69
70
70
71−isMailbox :: Canonical -> Bool
71+isAddress :: Canonical -> Bool
72−isMailbox =
72+isAddress =
73− is ["Mailbox"] "Mailbox"
73+ is ["Stream"] "Address"
74
74
75
75
76isVarying :: Canonical -> Bool
76isVarying :: Canonical -> Bool
src/Transform/Canonicalize/Wire.hs+3−3
@@ -163,17 +163,17 @@ loopback name maybeExpr tipe =
163 Nothing ->
163 Nothing ->
164 case ST.deepDealias tipe of
164 case ST.deepDealias tipe of
165 ST.Record
165 ST.Record
166− [ ("mailbox", ST.App (ST.Type mailbox) [a])
166+ [ ("address", ST.App (ST.Type address) [a])
167 , ("stream", ST.App (ST.Type stream) [b])
167 , ("stream", ST.App (ST.Type stream) [b])
168 ]
168 ]
169 Nothing
169 Nothing
170− | Var.isStream stream && Var.isMailbox mailbox && a == b ->
170+ | Var.isStream stream && Var.isAddress address && a == b ->
171 return (D.Mailbox name tipe)
171 return (D.Mailbox name tipe)
172
172
173
173
174 _ ->
174 _ ->
175 throw $ loopbackError name tipe $
175 throw $ loopbackError name tipe $
176− [ P.text "A loopback like this must be a WritableStream." ]
176+ [ P.text "A loopback like this must be a Mailbox." ]
177
177
178 Just expr ->
178 Just expr ->
179 case ST.deepDealias tipe of
179 case ST.deepDealias tipe of