on master help sign in
Parse promise loopbacks with (<-) separator
55c291aEvan Czaplicki
src/AST/Declaration.hs+1−1
@@ -161,7 +161,7 @@ instance (Pretty expr, Pretty var, Var.ToString var) => Pretty (Wire expr var) w
161 [ prettyWire "loopback" name ":" tipe
161 [ prettyWire "loopback" name ":" tipe
162 , case maybeExpr of
162 , case maybeExpr of
163 Just expr ->
163 Just expr ->
164− prettyWire "loopback" name "=" expr
164+ prettyWire "loopback" name "<-" expr
165 Nothing ->
165 Nothing ->
166 P.empty
166 P.empty
167 ]
167 ]
src/Parse/Declaration.hs+1−1
@@ -74,7 +74,7 @@ loopback =
74 do name <- wireBegining "loopback"
74 do name <- wireBegining "loopback"
75 choice
75 choice
76 [ wireEnding (D.LoopbackAnnotation name) hasType Type.expr
76 [ wireEnding (D.LoopbackAnnotation name) hasType Type.expr
77− --, wireEnding (D.LoopbackDefinition name) equals Expr.expr
77+ , wireEnding (D.LoopbackDefinition name) (string "<-") Expr.expr
78 ]
78 ]
79
79
80
80