This website requires JavaScript.
Explore
Help
Register
Sign in
mdebray
/
tvl-depot
Watch
1
Star
0
Fork
You've already forked tvl-depot
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
1e16d20655
tvl-depot
/
tests
/
lang
/
eval-okay-remove.exp
2 lines
9 B
Text
Raw
Normal View
History
Unescape
Escape
* Added a primop `removeAttrs' to remove attributes from a set, e.g., `removeAttrs attrs ["x", "y"]' returns the set `attrs' with the attributes named `x' and `y' removed. It is not an error for the named attributes to be missing from the input set.
2005-05-18 19:19:21 +02:00
Int(456)
Reference in a new issue
Copy permalink