Commit 1699e7a8 authored by Guy Watson's avatar Guy Watson
Browse files

DRY off unops

parent 56014144
......@@ -75,18 +75,18 @@
[And Binop ()]
[Or Binop ()]
[Xor Binop ()]
[Unop Expr ()
[Unop Expr ([e : Expr])
#:prop choice-weight 20
#:prop may-be-generated #f]
[EqualZero Unop ([e : Expr])]
[CountLeadingZero Unop ([e : Expr])]
[CountTrailingZero Unop ([e : Expr])]
[NonZeroBits Unop ([e : Expr])]
[ShiftLeft Unop ([e : Expr])]
[ShiftRightSigned Unop ([e : Expr])]
[ShiftRightUnsigned Unop ([e : Expr])]
[RotateLeft Unop ([e : Expr])]
[RotateRight Unop ([e : Expr])]
[EqualZero Unop ()]
[CountLeadingZero Unop ()]
[CountTrailingZero Unop ()]
[NonZeroBits Unop ()]
[ShiftLeft Unop ()]
[ShiftRightSigned Unop ()]
[ShiftRightUnsigned Unop ()]
[RotateLeft Unop ()]
[RotateRight Unop ()]
[IfElse Expr ([cond : Expr]
[then : Expr]
[else : Expr])
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment