{"action":"closed","issue":{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/264","labels_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/264/labels{/name}","comments_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/264/comments","events_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/264/events","html_url":"https://github.com/BinaryAnalysisPlatform/bap/issues/264","id":96173205,"number":264,"title":"Trie `longest_match` has a rough borderline case","user":{"login":"maverickwoo","id":172693,"avatar_url":"https://avatars.githubusercontent.com/u/172693?v=3","gravatar_id":"","url":"https://api.github.com/users/maverickwoo","html_url":"https://github.com/maverickwoo","followers_url":"https://api.github.com/users/maverickwoo/followers","following_url":"https://api.github.com/users/maverickwoo/following{/other_user}","gists_url":"https://api.github.com/users/maverickwoo/gists{/gist_id}","starred_url":"https://api.github.com/users/maverickwoo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maverickwoo/subscriptions","organizations_url":"https://api.github.com/users/maverickwoo/orgs","repos_url":"https://api.github.com/users/maverickwoo/repos","events_url":"https://api.github.com/users/maverickwoo/events{/privacy}","received_events_url":"https://api.github.com/users/maverickwoo/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/labels/bug","name":"bug","color":"fc2929"}],"state":"closed","locked":false,"assignee":{"login":"ivg","id":2336698,"avatar_url":"https://avatars.githubusercontent.com/u/2336698?v=3","gravatar_id":"","url":"https://api.github.com/users/ivg","html_url":"https://github.com/ivg","followers_url":"https://api.github.com/users/ivg/followers","following_url":"https://api.github.com/users/ivg/following{/other_user}","gists_url":"https://api.github.com/users/ivg/gists{/gist_id}","starred_url":"https://api.github.com/users/ivg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ivg/subscriptions","organizations_url":"https://api.github.com/users/ivg/orgs","repos_url":"https://api.github.com/users/ivg/repos","events_url":"https://api.github.com/users/ivg/events{/privacy}","received_events_url":"https://api.github.com/users/ivg/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2015-07-20T22:07:36Z","updated_at":"2015-07-21T16:00:46Z","closed_at":"2015-07-21T16:00:46Z","body":"This is w.r.t. to current master 7d8bbaa.\r\n\r\nInput:\r\n```\r\nlet t = Trie.String.create ();;\r\nTrie.String.add t ~key:\"abc\" ~data:3;;\r\nTrie.String.longest_match t \"abc\";;\r\nTrie.String.longest_match t \"abcd\";;\r\nTrie.String.longest_match t \"abcde\";;\r\n```\r\n\r\nOutput:\r\n```\r\nval t : '_a Trie.String.t = <abstr>\r\n- : unit = ()\r\n- : (int * int) option = Some (3, 3)\r\n- : (int * int) option = None\r\n- : (int * int) option = Some (3, 3)\r\n```"}}