The call to tmp_number.append had its arguments mixed up. Also, JSON does not allow a trailing "," after array/object members.
		
			
				
	
	
		
			36 lines
		
	
	
	
		
			880 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			36 lines
		
	
	
	
		
			880 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
# RFC 7159, section 13.
 | 
						|
builtins.fromJSON
 | 
						|
  ''
 | 
						|
    {
 | 
						|
      "Image": {
 | 
						|
          "Width":  800,
 | 
						|
          "Height": 600,
 | 
						|
          "Title":  "View from 15th Floor",
 | 
						|
          "Thumbnail": {
 | 
						|
              "Url":    "http://www.example.com/image/481989943",
 | 
						|
              "Height": 125,
 | 
						|
              "Width":  100
 | 
						|
          },
 | 
						|
          "Animated" : false,
 | 
						|
          "IDs": [116, 943, 234, 38793, true  ,false,null, -100],
 | 
						|
          "Latitude":  37.7668,
 | 
						|
          "Longitude": -122.3959
 | 
						|
        }
 | 
						|
    }
 | 
						|
  ''
 | 
						|
==
 | 
						|
  { Image =
 | 
						|
    { Width = 800;
 | 
						|
      Height = 600;
 | 
						|
      Title = "View from 15th Floor";
 | 
						|
      Thumbnail =
 | 
						|
        { Url = http://www.example.com/image/481989943;
 | 
						|
          Height = 125;
 | 
						|
          Width = 100;
 | 
						|
        };
 | 
						|
      Animated = false;
 | 
						|
      IDs = [ 116 943 234 38793 true false null (0-100) ];
 | 
						|
      Latitude = 37.7668;
 | 
						|
      Longitude = -122.3959;
 | 
						|
    };
 | 
						|
  }
 |