{"shas":[["066faac82cabaa1e4504777ec1c33ae94930ef73","48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","Fix inets:setopts/2 related bug\n\nCalling setopts with an unsupported option produces a warning that\nwas not emitted in intersection analysis. A test case is provided\nbelow.\n\n-module(failing_call).\n\n-export([test/1]).\n\ntest(Sock) ->\n    inet:setopts(Sock, [{active, true}, {packet, raw}, binary]).","Stavros Aronis"],["83eef233515de93a3c2f41adf1125c5a2a0e6096","48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","Make dataflow's fixpoint check to use opaque subtype check\n\nDataflow's fixpoint requires the result to be a subtype of the\ntypesig produced one. As typesig generates structured types this\nmay lead to an unstable fixpoint whenever an opaque type is the\nresult of dataflow's refinement.\n\nThis patch changes the subtype check to be opaque-friendly.","Stavros Aronis"],["192b9c2acdf3c3b711cc1c9dfcf9b13805166d8c","48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","Enable full code for infimum for unions containing opaque types\n\nThe purpose of this code is to allow an opaque type that is\nmember of a union to survive an infimum check when a compatible\nstructured type is present in the other type of the infimum.","Stavros Aronis"]],"repo":"aronisstav/otp","actor":"aronisstav","ref":"refs/heads/intersection","size":3,"head":"192b9c2acdf3c3b711cc1c9dfcf9b13805166d8c","actor_gravatar":"5730e85681def67cb10151437519f39d","push_id":24950677}