on master help sign in
Update for rename from WritableStream/Mailbox to Mailbox/Address
commit07eb6d5c9992d2291f387888d99e064b202a7946 authorEvan Czaplicki <info@elm-lang.org> dateMon 9 Mar 2015, 00:19 (12 years ago) parentb687ec2
2 files changed+6−6
src/AST/Variable.hs+3−3 src/Transform/Canonicalize/Wire.hs+3−3
src/AST/Variable.hs+3−3
@@ -68,9 +68,9 @@ isStream =
6868 is ["Signal"] "Stream"
6969
7070
71−isMailbox :: Canonical -> Bool
72−isMailbox =
73− is ["Mailbox"] "Mailbox"
71+isAddress :: Canonical -> Bool
72+isAddress =
73+ is ["Stream"] "Address"
7474
7575
7676isVarying :: Canonical -> Bool
src/Transform/Canonicalize/Wire.hs+3−3
@@ -163,17 +163,17 @@ loopback name maybeExpr tipe =
163163 Nothing ->
164164 case ST.deepDealias tipe of
165165 ST.Record
166− [ ("mailbox", ST.App (ST.Type mailbox) [a])
166+ [ ("address", ST.App (ST.Type address) [a])
167167 , ("stream", ST.App (ST.Type stream) [b])
168168 ]
169169 Nothing
170− | Var.isStream stream && Var.isMailbox mailbox && a == b ->
170+ | Var.isStream stream && Var.isAddress address && a == b ->
171171 return (D.Mailbox name tipe)
172172
173173
174174 _ ->
175175 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." ]
177177
178178 Just expr ->
179179 case ST.deepDealias tipe of