{"action":"created","issue":{"url":"https://api.github.com/repos/racket/typed-racket/issues/106","labels_url":"https://api.github.com/repos/racket/typed-racket/issues/106/labels{/name}","comments_url":"https://api.github.com/repos/racket/typed-racket/issues/106/comments","events_url":"https://api.github.com/repos/racket/typed-racket/issues/106/events","html_url":"https://github.com/racket/typed-racket/issues/106","id":67474868,"number":106,"title":"occurrence typing fails on Listof vs List","user":{"login":"mfelleisen","id":1571323,"avatar_url":"https://avatars.githubusercontent.com/u/1571323?v=3","gravatar_id":"","url":"https://api.github.com/users/mfelleisen","html_url":"https://github.com/mfelleisen","followers_url":"https://api.github.com/users/mfelleisen/followers","following_url":"https://api.github.com/users/mfelleisen/following{/other_user}","gists_url":"https://api.github.com/users/mfelleisen/gists{/gist_id}","starred_url":"https://api.github.com/users/mfelleisen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mfelleisen/subscriptions","organizations_url":"https://api.github.com/users/mfelleisen/orgs","repos_url":"https://api.github.com/users/mfelleisen/repos","events_url":"https://api.github.com/users/mfelleisen/events{/privacy}","received_events_url":"https://api.github.com/users/mfelleisen/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/racket/typed-racket/labels/gnats-migrated","name":"gnats-migrated","color":"ededed"}],"state":"open","locked":false,"assignee":{"login":"shekari","id":170008,"avatar_url":"https://avatars.githubusercontent.com/u/170008?v=3","gravatar_id":"","url":"https://api.github.com/users/shekari","html_url":"https://github.com/shekari","followers_url":"https://api.github.com/users/shekari/followers","following_url":"https://api.github.com/users/shekari/following{/other_user}","gists_url":"https://api.github.com/users/shekari/gists{/gist_id}","starred_url":"https://api.github.com/users/shekari/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shekari/subscriptions","organizations_url":"https://api.github.com/users/shekari/orgs","repos_url":"https://api.github.com/users/shekari/repos","events_url":"https://api.github.com/users/shekari/events{/privacy}","received_events_url":"https://api.github.com/users/shekari/received_events","type":"User","site_admin":false},"milestone":null,"comments":2,"created_at":"2015-04-09T23:52:32Z","updated_at":"2015-04-19T19:09:09Z","closed_at":null,"body":"###### Originally submitted on: Thu Jan 22 14:20:01 -0500 2015\n\n\nOccurrence typing fails on the [Listof (U A B)] vs [List (U A B)]. See program below. \n\nLogically this makes no sense because if cadr and friends succeed, the type can be split.\n\n\n##### Steps to Reproduce:\n\n\n\n```racket\n#lang typed/racket\n\n(define-type Line String)\n\n(: line-specification? (-> String (U False [Listof Line])))\n(define (line-specification? line)\n  (: r (U False [Pairof String [Listof (U False String)]]))\n  (define r '(\"a\" \"b\") #;(regexp-match #px\"--* (.*)\" line))\n  (cond\n    [(and r) (if (cadr r) (string-split (cadr r)) #f)]\n    [else '()]))\n```\n\n##### Release:\n\n\n```\n6.1.1.8--2015-01-03(-/f)\n```\n\n\n##### Environment:\n\n\n```\nmacosx \"Darwin antarctica.ccs.neu.edu 12.5.0 Darwin Kernel Version 12.5.0: Sun Sep 29\n 13:33:47 PDT 2013; root:xnu-2050.48.12~1/RELEASE_X86_64 x86_64\" (x86_64-macosx/3m)\n (get-display-depth) = 32\nHuman Language: english\n(current-memory-use) 913381128\nraco pkg (show):\nInstallation-wide:\n Package                 Checksum     Source\n ansi                    2770248a...  catalog ansi\n github://github.com/tonyg/racket-ansi/master\n benchmark               45992763...  catalog benchmark\n git://github.com/stamourv/racket-benchmark#master\n graph                   9528fd5f...  catalog graph\n github://github.com/stchang/graph/master\n honu                    6a982c11...  catalog honu git://github.com/racket/honu\n htdp                    76ca9ca3...  clone /Users/matthias/plt/extra-pkgs/htdp/htdp\n git://github.com/racket/htdp/?path=htdp\n main-distribution       67868e03...  catalog main-distribution\n git://github.com/racket/main-distribution\n main-distribution-test  ca4a870e...  catalog main-distribution-test\n git://github.com/racket/main-distribution-test\n marketplace             e48aabc2...  catalog marketplace\n github://github.com/tonyg/marketplace/typeless\n racket-lib                           static-link /Users/matthias/plt/pkgs/racket-lib\n rackunit                466a679c...  clone\n /Users/matthias/plt/extra-pkgs/rackunit/rackunit\n git://github.com/racket/rackunit/?path=rackunit\n [217 auto-installed packages not shown]\nUser-specific for installation \"development\":\n [none]\n\n\n\nCollections:\n(\"/Users/matthias/0Unison/collects/\"\n (\".DS_Store\" \"compiled\" \"date\" \"finance\" \"info-domain\" \"info.ss\" \"pdf.ss~\" \"session\"\n \"short\" \"testing\" \"tll-collects\" \"utils\" \"web\"))\n(\"/Users/matthias/Library/Racket/development/collects\"\n (non-existent-path))\n(\"/Users/matthias/plt/racket/collects\"\n (\".gitignore\" \"acks\" \"compiler\" \"data\" \"db\" \"dynext\" \"ffi\" \"file\" \"info\" \"info-domain\"\n \"json\" \"launcher\" \"net\" \"openssl\" \"pkg\" \"planet\" \"racket\" \"raco\" \"reader\" \"realm\" \"s-exp\"\n \"setup\" \"syntax\" \"unstable\" \"version\" \"xml\"))\n\nRecent Internal Errors: \nComputer Language: ((\"Determine language from source\") (#(#t print mixed-fraction-e #f #t\n debug) (default) #() \"#lang racket\" #t #t ((test) (main)) #t))\n```\n\n\n###### This bug was converted from Gnats bug [14947](http://bugs.racket-lang.org/old/14947).\n"},"comment":{"url":"https://api.github.com/repos/racket/typed-racket/issues/comments/94305699","html_url":"https://github.com/racket/typed-racket/issues/106#issuecomment-94305699","issue_url":"https://api.github.com/repos/racket/typed-racket/issues/106","id":94305699,"user":{"login":"takikawa","id":64192,"avatar_url":"https://avatars.githubusercontent.com/u/64192?v=3","gravatar_id":"","url":"https://api.github.com/users/takikawa","html_url":"https://github.com/takikawa","followers_url":"https://api.github.com/users/takikawa/followers","following_url":"https://api.github.com/users/takikawa/following{/other_user}","gists_url":"https://api.github.com/users/takikawa/gists{/gist_id}","starred_url":"https://api.github.com/users/takikawa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/takikawa/subscriptions","organizations_url":"https://api.github.com/users/takikawa/orgs","repos_url":"https://api.github.com/users/takikawa/repos","events_url":"https://api.github.com/users/takikawa/events{/privacy}","received_events_url":"https://api.github.com/users/takikawa/received_events","type":"User","site_admin":false},"created_at":"2015-04-19T19:09:09Z","updated_at":"2015-04-19T19:09:09Z","body":"I have a in-progress pull request that I think solves the first part (fixing the types for `cadr` etc) here: https://github.com/racket/typed-racket/pull/15\r\n\r\nBut it doesn't currently pass the tests due to a type inference limitation. Also my PR probably doesn't the second issue you point out."}}