{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/267","repository_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/267/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/267/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/267/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/267","id":183150594,"number":267,"title":"Elaborator Crash: Cannot unify (List.List  @(47)) with b_aebs","user":{"login":"atondwal","id":343048,"avatar_url":"https://avatars.githubusercontent.com/u/343048?v=3","gravatar_id":"","url":"https://api.github.com/users/atondwal","html_url":"https://github.com/atondwal","followers_url":"https://api.github.com/users/atondwal/followers","following_url":"https://api.github.com/users/atondwal/following{/other_user}","gists_url":"https://api.github.com/users/atondwal/gists{/gist_id}","starred_url":"https://api.github.com/users/atondwal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/atondwal/subscriptions","organizations_url":"https://api.github.com/users/atondwal/orgs","repos_url":"https://api.github.com/users/atondwal/repos","events_url":"https://api.github.com/users/atondwal/events{/privacy}","received_events_url":"https://api.github.com/users/atondwal/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-14T21:07:23Z","updated_at":"2016-10-14T21:20:57Z","closed_at":null,"body":"on cse230WI15 final exam's List.lhs\r\n\r\n```\r\n± stack exec fixpoint ~/src/liquidhaskell-study/wi15/.liquid/List.lhs.fq\r\n\r\n\r\nLiquid-Fixpoint Copyright 2013-15 Regents of the University of California.\r\nAll Rights Reserved.\r\n\r\n\r\n**** DONE:  Uniqify & Rename ***************************************************\r\n \r\nsolution:\r\nfromList []\r\nCrash!: :1:1-1:1: Error\r\n  elaborate failed on:\r\n      size lq_anf$##1677782276##dfME == size ds_dfIO\r\n      && 0 <= size lq_anf$##1677782276##dfME\r\n      && 0 <= sizes lq_anf$##1677782276##dfME\r\n      && lq_anf$##1677782276##dfME == ds_dfIP\r\n      && 0 <= size lq_anf$##1677782276##dfME\r\n      && 0 <= sizes lq_anf$##1677782276##dfME\r\n      && size lq_anf$##1677782276##dfME == 0\r\n      && sizes lq_anf$##1677782276##dfME == 0\r\n      && lq_anf$##1677782276##dfME == List.Emp##raQO\r\n      && size lq_anf$##1677782276##dfME == 0\r\n      && sizes lq_anf$##1677782276##dfME == 0\r\n      && 0 <= size lq_anf$##1677782276##dfME\r\n      && 0 <= sizes lq_anf$##1677782276##dfME\r\n  with error\r\n      Cannot unify (List.List  @(47)) with b_aebs in expression: sizes lq_anf$##1677782276##dfME\r\n  in environment\r\n      List.Emp##raQO := func(1, [(List.List  @(0))])\r\n\r\n      lq_anf$##1677782276##dfME := (List.List  b_aebs)\r\n\r\n      sizes := func(1, [(List.List  (List.List  @(0))); int])\r\n\r\n      size := func(1, [(List.List  @(0)); int])\r\n\r\n      ds_dfIO := (List.List  a_aebr)\r\n\r\n      ds_dfIP := (List.List  b_aebs)\r\n-> [2]\r\n```"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/253922502","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/267#issuecomment-253922502","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/267","id":253922502,"user":{"login":"nikivazou","id":714933,"avatar_url":"https://avatars.githubusercontent.com/u/714933?v=3","gravatar_id":"","url":"https://api.github.com/users/nikivazou","html_url":"https://github.com/nikivazou","followers_url":"https://api.github.com/users/nikivazou/followers","following_url":"https://api.github.com/users/nikivazou/following{/other_user}","gists_url":"https://api.github.com/users/nikivazou/gists{/gist_id}","starred_url":"https://api.github.com/users/nikivazou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikivazou/subscriptions","organizations_url":"https://api.github.com/users/nikivazou/orgs","repos_url":"https://api.github.com/users/nikivazou/repos","events_url":"https://api.github.com/users/nikivazou/events{/privacy}","received_events_url":"https://api.github.com/users/nikivazou/received_events","type":"User","site_admin":false},"created_at":"2016-10-14T21:20:57Z","updated_at":"2016-10-14T21:20:57Z","body":"The error is legit!  These two types cannot be unified. \r\nWhat is the .fq file that creates it?"}}
{"actor":{"display_login":"nikivazou"}}