{"action":"created","issue":{"url":"https://api.github.com/repos/NICTA/cogent/issues/22","repository_url":"https://api.github.com/repos/NICTA/cogent","labels_url":"https://api.github.com/repos/NICTA/cogent/issues/22/labels{/name}","comments_url":"https://api.github.com/repos/NICTA/cogent/issues/22/comments","events_url":"https://api.github.com/repos/NICTA/cogent/issues/22/events","html_url":"https://github.com/NICTA/cogent/issues/22","id":183389307,"number":22,"title":"Required fields taken","user":{"login":"zilinc","id":8359104,"avatar_url":"https://avatars.githubusercontent.com/u/8359104?v=3","gravatar_id":"","url":"https://api.github.com/users/zilinc","html_url":"https://github.com/zilinc","followers_url":"https://api.github.com/users/zilinc/followers","following_url":"https://api.github.com/users/zilinc/following{/other_user}","gists_url":"https://api.github.com/users/zilinc/gists{/gist_id}","starred_url":"https://api.github.com/users/zilinc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zilinc/subscriptions","organizations_url":"https://api.github.com/users/zilinc/orgs","repos_url":"https://api.github.com/users/zilinc/repos","events_url":"https://api.github.com/users/zilinc/events{/privacy}","received_events_url":"https://api.github.com/users/zilinc/received_events","type":"User","site_admin":false},"labels":[{"id":369550353,"url":"https://api.github.com/repos/NICTA/cogent/labels/bug","name":"bug","color":"ee0701","default":true},{"id":421102017,"url":"https://api.github.com/repos/NICTA/cogent/labels/cdsl2-new-tc","name":"cdsl2-new-tc","color":"fef2c0","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":13,"created_at":"2016-10-17T11:18:13Z","updated_at":"2016-11-11T14:32:23Z","closed_at":null,"body":""},"comment":{"url":"https://api.github.com/repos/NICTA/cogent/issues/comments/259969148","html_url":"https://github.com/NICTA/cogent/issues/22#issuecomment-259969148","issue_url":"https://api.github.com/repos/NICTA/cogent/issues/22","id":259969148,"user":{"login":"liamoc","id":61991,"avatar_url":"https://avatars.githubusercontent.com/u/61991?v=3","gravatar_id":"","url":"https://api.github.com/users/liamoc","html_url":"https://github.com/liamoc","followers_url":"https://api.github.com/users/liamoc/followers","following_url":"https://api.github.com/users/liamoc/following{/other_user}","gists_url":"https://api.github.com/users/liamoc/gists{/gist_id}","starred_url":"https://api.github.com/users/liamoc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/liamoc/subscriptions","organizations_url":"https://api.github.com/users/liamoc/orgs","repos_url":"https://api.github.com/users/liamoc/repos","events_url":"https://api.github.com/users/liamoc/events{/privacy}","received_events_url":"https://api.github.com/users/liamoc/received_events","type":"User","site_admin":false},"created_at":"2016-11-11T14:32:23Z","updated_at":"2016-11-11T14:32:23Z","body":"Alright, I stepped through (a further simplified version of) this example, running the algorithm by hand. I figured out what's wrong. The constraints you end up with are something like:\r\n\r\n       ?1 :< { a : U32, b : WordArray U32 } take b\r\n       ?1 :< ?{a : U32}\r\n       ?0 :< { a : U32, b : WordArray U32 } take (a, b)\r\n       ?0 :< ?1 \r\n\r\nIn this scenario, the solver sees a \"no-brainer\" opportunity for `?0` that is not correct. I guess I was wrong when I said earlier that delaying flex-flex constraints is OK.\r\n\r\n"}}
{"actor":{"display_login":"liamoc"}}