{"action":"opened","issue":{"url":"https://api.github.com/repos/samth/test-bugs/issues/194","labels_url":"https://api.github.com/repos/samth/test-bugs/issues/194/labels{/name}","comments_url":"https://api.github.com/repos/samth/test-bugs/issues/194/comments","events_url":"https://api.github.com/repos/samth/test-bugs/issues/194/events","html_url":"https://github.com/samth/test-bugs/issues/194","id":67473637,"number":194,"title":"typed scheme: bad error on require/opaque-type","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":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-04-09T23:40:36Z","updated_at":"2015-04-09T23:40:36Z","closed_at":null,"body":"###### Originally submitted on: Mon Aug 11 14:32:02 -0400 2008\n\n\n\n```racket\n(module a typed-scheme\n  (require/opaque-type b lwT lw?)\n  (require/typed x lwT 'b)\n\nyields \n\n. lw?: invalid module-path form in: lw?\n> \n\nAND \n\n(require/opaque-type 'b lwT lw?)\n\nyields \n\nLanguage: Module custom; memory limit: 256 megabytes.\n. require/opaque-type: bad syntax in: (require/opaque-type (quote b) lwT lw?)\n> \n\nThe context is \n\n#lang scheme/load \n\n(module b scheme\n  (require \"../iswim/iswim.ss\"\n           \"../types/types.ss\")\n  (require redex)\n  (require texpict/mrpict scheme/class)\n  \n  (define x (to-lw (f ,a)))\n  (provide lw?)\n  (provide x))\n\n(module a typed-scheme\n  (require/opaque-type 'b lwT lw?)\n  (require/typed x lwT 'b)\n  \n  (define-type-alias Pict Number)\n\n  (define-struct: l: ([e : (U Symbol String (Listof l:) Pict)] \n                      [line : Integer]\n                      [line-span : Integer]\n                      [column : Integer]\n                      [column-span : Integer]\n                      [unq? : Boolean]\n                      [metafunction-name : (U #f Symbol)]))\n  (define: (copy (lw : lwI)) : l:\n    (cond\n      [(symbol? lw) lw]\n      [(string? lw) 0]))\n\n  )\n```\n\n##### Release:\n\n\n```\n4.0.2.6-svn4aug2008\n```\n\n\n##### Environment:\n\n\n```\nmacosx \"Darwin europe.local 8.11.1 Darwin Kernel Version 8.11.1: Wed Oct 10 18:23:28 PDT\n 2007; root:xnu-792.25.20~1/RELEASE_I386 i386 i386\" (i386-macosx/3m) (get-display-depth) =\n 32\nHuman Language: english\n(current-memory-use) 117288888\n\nCollections:\n((\"/Users/matthias/Unison/collects/\" \".DS_Store\" \"date\" \"finance\" \"info-domain\" \"info.ss\"\n \"short\" \"testing\" \"tll-collects\" \"utils\" \"web\") (\"/Users/matthias/Library/PLT\n Scheme/4.0.2.6/collects\" non-existent-path) (\"/Users/matthias/plt/collects\" \".DS_Store\"\n \".svn\" \"afm\" \"algol60\" \"big\" \"browser\" \"combinator-parser\" \"compiler\" \"config\" \"defaults\"\n \"doc\" \"drscheme\" \"dynext\" \"embedded-gui\" \"eopl\" \"errortrace\" \"ffi\" \"file\" \"framework\"\n \"frtime\" \"games\" \"graphics\" \"gui-debugger\" \"guibuilder\" \"handin-client\" \"handin-server\"\n \"help\" \"hierlist\" \"honu\" \"honu-module\" \"htdch\" \"htdp\" \"html\" \"icons\" \"info-domain\" \"lang\"\n \"launcher\" \"lazy\" \"little-helper\" \"macro-debugger\" \"make\" \"mred\" \"mrflow\" \"mrlib\"\n \"mysterx\" \"mzcom\" \"mzlib\" \"mzscheme\" \"mztake\" \"net\" \"openssl\" \"parser-tools\" \"planet\"\n \"plot\" \"preprocessor\" \"profj\" \"profjBoxes\" \"profjWizard\" \"r5rs\" \"r6rs\" \"readline\" \"redex\"\n \"repos-time-stamp\" \"rnrs\" \"s-exp\" \"scheme\" \"scribble\" \"scribblings\" \"setup\" \"sgl\"\n \"sirmail\" \"skipper\" \"slatex\" \"slibinit\"!\n  \"slideshow\" \"srfi\" \"srpersist\" \"stepper\" \"string-constants\" \"swindle\" \"syntax\"\n \"syntax-color\" \"teachpack\" \"test-box-recovery\" \"test-engine\" \"test-suite\" \"tests\"\n \"tex2page\" \"texpict\" \"trace\" \"typed-scheme\" \"version\" \"waterworld\" \"web-server\" \"wxme\"\n \"xml\"))\nComputer Language: ((\"Module\") (#(#t constructor mixed-fraction-e #f #t debug) (default)\n #() \"#lang scheme\\n\"))\n```\n\n\n###### This bug was converted from Gnats bug [9678](http://bugs.racket-lang.org/old/9678).\n"}}