@@ -5315,95 +5315,6 @@ mod tests {
53155315 let output = produce_string_gencode ( & module, & outer. call ( ) ) ;
53165316 println ! ( "{}" , output) ;
53175317 }
5318-
5319- #[ test]
5320- fn test_namegen_deflate_analogue ( ) {
5321- use crate :: helper:: * ;
5322- let mut module = FormatModule :: new ( ) ;
5323-
5324- let block = module. define_format (
5325- "deflate.block" ,
5326- record ( [
5327- ( "final" , u8 ( ) ) ,
5328- ( "type" , u8 ( ) ) ,
5329- ( "data" , {
5330- Format :: Match (
5331- Box :: new ( var ( "type" ) ) ,
5332- vec ! [
5333- ( Pattern :: U8 ( 0 ) , fmt_variant( "uncompressed" , opaque_bytes( ) ) ) ,
5334- ( Pattern :: U8 ( 1 ) , fmt_variant( "fixed_huffman" , opaque_bytes( ) ) ) ,
5335- (
5336- Pattern :: U8 ( 2 ) ,
5337- fmt_variant( "dynamic_huffman" , opaque_bytes( ) ) ,
5338- ) ,
5339- ] ,
5340- )
5341- } ) ,
5342- ] ) ,
5343- ) ;
5344-
5345- let f = record ( [
5346- (
5347- "foobar" ,
5348- repeat_until_last (
5349- lambda ( "x" , expr_eq ( record_proj ( var ( "x" ) , "final" ) , Expr :: U8 ( 1 ) ) ) ,
5350- block. call ( ) ,
5351- ) ,
5352- ) ,
5353- (
5354- "xyzzy" ,
5355- compute ( flat_map (
5356- lambda (
5357- "x" ,
5358- expr_match (
5359- record_proj ( var ( "x" ) , "data" ) ,
5360- vec ! [
5361- (
5362- Pattern :: variant( "uncompressed" , Pattern :: binding( "y" ) ) ,
5363- var( "y" ) ,
5364- ) ,
5365- (
5366- Pattern :: variant( "fixed_huffman" , Pattern :: binding( "y" ) ) ,
5367- var( "y" ) ,
5368- ) ,
5369- (
5370- Pattern :: variant( "dynamic_huffman" , Pattern :: binding( "y" ) ) ,
5371- var( "y" ) ,
5372- ) ,
5373- ] ,
5374- ) ,
5375- ) ,
5376- var ( "foobar" ) ,
5377- ) ) ,
5378- ) ,
5379- (
5380- "deadbeef" ,
5381- compute ( flat_map_list (
5382- lambda_tuple (
5383- [ "buffer" , "symbol" ] ,
5384- expr_match (
5385- var ( "symbol" ) ,
5386- vec ! [
5387- (
5388- Pattern :: variant( "literal" , Pattern :: binding( "b" ) ) ,
5389- Expr :: U8 ( 0 ) ,
5390- ) ,
5391- (
5392- Pattern :: variant( "reference" , Pattern :: binding( "r" ) ) ,
5393- Expr :: U8 ( 0 ) ,
5394- ) ,
5395- ] ,
5396- ) ,
5397- ) ,
5398- ValueType :: Base ( BaseType :: U8 ) ,
5399- var ( "xyzzy" ) ,
5400- ) ) ,
5401- ) ,
5402- ] ) ;
5403- let main = module. define_format ( "main" , f) ;
5404- let output = produce_string_gencode ( & module, & main. call ( ) ) ;
5405- println ! ( "{}" , output) ;
5406- }
54075318}
54085319
54095320mod __impls {
0 commit comments