Eelco Dolstra
								
							 
						 | 
						
							
							
							
							
								
							
							
								1b962fc720
								
							
						 | 
						
							
							
								
								* @-patterns as in Haskell.  For instance, in a function definition
							
							
							
							
							
							
							
							f = args @ {x, y, z}: ...;
  `args' refers to the argument as a whole, which is further
  pattern-matched against the attribute set pattern {x, y, z}.
							
						 | 
						
							2008-08-14 12:53:29 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |