00:00 Fare: having the (parameter #t) in another module that just does that
00:00 Fare: before the main module
00:00 mithos28: ok, good you found a solution
00:01 Fare: thanks a lot for helping me
00:18 jonrafkind: Fare, I was thinking you would use the parameter in the document itself
00:18 jonrafkind: (when (eq? (foo) 'long) @{a bunch of text})
00:19 jonrafkind: im assuming you could do (parameterize ... @include-section) and the parameter would work for that section
00:19 jonrafkind: hm.. but maybe not
00:19 Fare: jonrafkind: I do about that, with two macros short and long that expand into a when and unless
00:20 Fare: include-section is just a require
00:20 Fare: so that won't work
00:20 jonrafkind: oh ok
00:20 Fare: but indeed, setting the parameter in a previous require works.
00:22 Fare: is list the proper thing to put in those when and unless, or is there a more canonical thing to use?
00:22 (quit) hash_table: Ping timeout: 250 seconds
00:23 jonrafkind: what do you mean
00:23 jonrafkind: (when (list ...) ...) ?
00:26 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/
00:29 Fare: (define-syntax-rule (short x ...) (when (abstract-only) (list x ...)))
00:32 (join) mye__
00:35 (quit) mye_: Ping timeout: 245 seconds
00:35 Fare: How do I pick a style of bibliographic citations?
00:36 Fare: and how do I sort the bibliography?
00:49 Fare: and how do I control overfull hboxes?
00:53 (quit) Fare: Quit: Leaving
00:54 jonrafkind: what style of bibliography do you want?
00:54 jonrafkind: autobib is sorted by the last name of the first author, I think
00:54 jonrafkind: if you wanted [1] style, matthew recently added a way to do that
00:54 jonrafkind: (define-cite ~cite cite-noun generate-bib
00:54 jonrafkind: #:style number-style)
00:56 jonrafkind: I would use @string-append{} in that macro. (define-syntax-rule (short x ...) (when (abstract-only) @string-append{x ...}))
01:21 (join) vu3rdd
01:21 (quit) vu3rdd: Changing host
01:21 (join) vu3rdd
01:23 (join) bjz
01:57 (quit) jonrafkind: Ping timeout: 245 seconds
02:09 (quit) Kaylin: Read error: Connection reset by peer
02:33 (join) antithesis
03:12 (quit) Shviller: Ping timeout: 248 seconds
03:12 (join) Shviller
03:12 (quit) mithos28: Quit: mithos28
03:22 (join) mithos28
03:23 (quit) dsantiago: Quit: Computer has gone to sleep.
03:32 (quit) cataska: Ping timeout: 246 seconds
03:33 (join) cataska
03:42 (quit) yoklov: Quit: computer sleeping
04:48 (quit) bjz: Quit: Leaving...
04:53 (quit) mithos28: Quit: mithos28
05:26 (quit) mye__: Ping timeout: 246 seconds
05:43 (join) bjz
05:44 (join) molbdnilo
05:50 (join) mceier
06:04 (quit) molbdnilo: Quit: molbdnilo
06:08 (join) masm
06:16 (join) neilv
07:21 (quit) neilv: Ping timeout: 246 seconds
07:32 (join) molbdnilo
07:35 (join) hash_table
08:03 (join) soegaard
08:15 (join) MayDaniel
08:32 (quit) molbdnilo: Quit: molbdnilo
08:37 (quit) cdidd: Quit: Leaving
09:05 (join) lebro
09:13 (join) jeapostrophe
09:13 (quit) jeapostrophe: Changing host
09:13 (join) jeapostrophe
09:19 (quit) lebro: Read error: Connection reset by peer
09:22 (join) lebro
09:56 (join) RacketCommitBot
09:56 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/3573d616367fd4e73fb5fa1c2c2dd184acce6dfb
09:56 RacketCommitBot: [racket/master] fix test for when the "hide big labels" popup menu appears - Robby Findler
09:56 (part) RacketCommitBot
10:10 (join) neilv
10:10 (quit) neilv: Changing host
10:10 (join) neilv
10:35 (join) RacketCommitBot
10:35 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/aba046a92d42de70a2f777bfbe9a4e75f8e935a9
10:35 RacketCommitBot: [racket/master] Swap unsafe and chaperone-unsafe vector ops in the TR optimizer. - Vincent St-Amour
10:35 (part) RacketCommitBot
10:36 (quit) neilv: Ping timeout: 246 seconds
10:39 (quit) jeapostrophe: Ping timeout: 246 seconds
11:10 (join) yoklov
11:11 (join) cdidd
11:16 (join) Kaylin
11:27 (quit) MayDaniel: Read error: Connection reset by peer
11:55 (join) jeapostrophe
12:00 (quit) jeapostrophe: Read error: Operation timed out
12:00 (join) snearch
12:02 (join) MayDaniel
12:10 (quit) MayDaniel: Read error: Connection reset by peer
12:10 (quit) yoklov: Quit: computer sleeping
12:18 (join) anRch
12:23 (quit) soegaard: Quit: soegaard
12:25 (quit) acarrico: Read error: Operation timed out
12:29 (join) neilv
12:29 (quit) neilv: Changing host
12:29 (join) neilv
12:32 (join) RacketCommitBot
12:32 RacketCommitBot: [racket] plt pushed 4 new commits to master: https://github.com/plt/racket/compare/aba046a92d42...579e5d3c87d5
12:32 RacketCommitBot: [racket/master] racket/draw: doc clarifications related to `color%' - Matthew Flatt
12:32 RacketCommitBot: [racket/master] fix 'disappeared-use prperty added by `syntax' - Matthew Flatt
12:32 RacketCommitBot: [racket/master] improve port progress-evt guarantees; fix for `read-bytes-evt' et al. - Matthew Flatt
12:32 (part) RacketCommitBot
12:40 (join) acarrico
13:00 (join) soegaard
13:03 (quit) Kaylin: Quit: Leaving.
13:06 (quit) masm: Ping timeout: 246 seconds
13:19 (join) wtetzner
13:19 (quit) wtetzner: Client Quit
13:21 (join) wtetzner
13:22 wtetzner: in typed racket, i'm trying to use require/typed
13:22 wtetzner: but i can't figure out how to type functions with optional and keyword arguments
13:22 wtetzner: and i can't find it in the docs
13:26 (join) RacketCommitBot
13:26 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/a70aca317671403509d0c6f5ae90725309f49417
13:26 RacketCommitBot: [racket/master] Fixed off-by-epsilon error; addresses issue with plateaus in contour-intervals and contour-intervals3d reported by Doug Williams - Neil Toronto
13:26 (part) RacketCommitBot
13:34 (quit) anRch: Quit: anRch
13:37 (join) mithos28
13:47 wtetzner: ok, i figured out how to type keyword arguments
13:47 wtetzner: and i handle optional arguments with case->
13:48 wtetzner: is there a nicer way to type optional arguments?
13:49 mithos28: wtetzner: I don't think so
13:51 mithos28: It should be possible though with a form like ->* from the contract libraries
13:53 soegaard: wtetzner: I look at the examples in collects/tests/typed-racket when I can't find examples in the docs.
13:53 mithos28: There are also cases where it would be useful in the internal typed racket code, and it is not there
13:54 (quit) neilv: Quit: Leaving
14:01 (quit) hash_table: Ping timeout: 250 seconds
14:03 wtetzner: ok
14:03 wtetzner: thanks
14:06 (quit) mithos28: Quit: mithos28
14:10 (join) mithos28
14:19 (quit) Shviller: Quit: bye
14:20 mithos28: Any TR devs online?
14:21 (join) Shviller
14:26 (quit) asumu: Ping timeout: 272 seconds
14:31 (join) asumu
14:41 samth: mithos28: pong
14:41 mithos28: pr/12970 I just filed
14:42 samth: mithos28: yeah, that looks wrong
14:42 wtetzner: does anyone know why this doesn't work?
14:42 wtetzner: http://pastebin.com/p54wvvRT
14:42 mithos28: The problem is that you cannot just call resolve, for one because it is in the wrong order of modules
14:42 mithos28: and secondly because likely that could cause infinite loops
14:43 samth: wtetzner: what version are you using
14:43 wtetzner: 5.1.3
14:44 samth: wtetzner: that will work in the upcoming 5.3 release
14:44 wtetzner: oh
14:44 wtetzner: ok
14:44 mithos28: Yep works at head
14:44 wtetzner: awesome
14:44 wtetzner: i'll just build head for now
14:45 mithos28: There are nightly builds aswell, if you don't want to build it
14:46 samth: mithos28: you can you lazy-require to get around the circularity
14:47 mithos28: ok, what about the infinite loops
14:47 samth: why do you think it will loop?
14:49 mithos28: I'm thinking that without resolve, a type is a tree and you have structural recursion to show that it terminates
14:49 mithos28: with adding resolve you can increase the size of the type
14:49 samth: you can't expand type name indefinitely
14:49 samth: *names
14:50 samth: with the execption of struct names and explicit recursive types
14:50 mithos28: ok, so aslong as the Mu case doesn't need to change, it should be fine?
14:50 samth: but that shouldn't be an issue here
14:50 samth: right
14:50 mithos28: Ok, I'll try it and see if that fixes the issue
14:51 mithos28: And hopefully have a patch afterwords
14:58 (join) masm
14:59 mithos28: It is not finishing raco setup for typed-racket (or just being really slow, but I doubt it)
14:59 mithos28: Is there a way to tell which file raco setup is compiling?
15:02 mithos28: oh, I still have some debugging stuff on so it is very slow
15:11 mithos28: samth: There is an issue where free-vars is called before the type-name-environment is populated from the module being typechecked
15:21 samth: strange
15:22 mithos28: it is in the type env, but not with a type
15:22 mithos28: It is registered with the value #t
15:22 samth: what type have value #t?
15:23 mithos28: A polymorphic struct type
15:23 mithos28: I'm using the boxer example in the PR
15:23 mithos28: (struct: (D) Boxer ((f : (D -> Void))))
15:23 samth: hmm
15:23 samth: when is `free-vars` being called?
15:24 mithos28: Still trying to pin that down
15:25 (join) jeapostrophe
15:26 mithos28: during pass1
15:27 mithos28: and the type env is filled correctly after pass1
15:28 samth: mithos28: ah, it shouldn't happen in pass1
15:28 samth: pass1 is really just for collecting the types of definitions
15:29 mithos28: Ok I'll look into whose calling it, and see if I can stop that
15:30 samth: oh, i know what's going on
15:30 samth: or, i think i do
15:30 samth: it's probably a top-level def without an annotation
15:31 mithos28: No, I'm getting the error with just the struct form
15:31 mithos28: I think it is when the struct is trying to figure out if it is covariant in all its arguments
15:31 mithos28: 170 in tc-structs
15:32 mithos28: Nope, not it
15:33 mithos28: But that looks like a possible error for the same reason
15:34 mithos28: it is somewhere in tc/poly-struct
15:41 mithos28: What does make-App do?
15:41 mithos28: That is what is calling free-vars
15:41 mithos28: or the implemenation of free vars for app structures
15:44 (quit) cdidd: Quit: Leaving
15:48 samth: mithos28: ah, the problem is the pre-computation of free variables
15:48 samth: i'll have to think about how best to change that
15:48 mithos28: ok
15:49 mithos28: I'm going to go get food then
15:49 mithos28: and find another bug to fix
15:52 (quit) antithesis: Quit: antithesis
16:00 (quit) mithos28: Quit: mithos28
16:04 (nick) imami|afk -> banseljaj
16:10 (quit) lebro: Ping timeout: 246 seconds
16:11 (join) MayDaniel
16:33 (quit) snearch: Quit: Verlassend
16:34 (quit) jeapostrophe: Ping timeout: 244 seconds
16:50 (join) josdeha_rt
16:50 (quit) josdeha_rt: Remote host closed the connection
16:51 (quit) wtetzner: Remote host closed the connection
16:53 (join) mithos28
17:19 (join) jeapostrophe
17:19 (quit) jeapostrophe: Changing host
17:19 (join) jeapostrophe
17:23 (join) anRch
17:28 (quit) soegaard: Quit: soegaard
17:35 (quit) MayDaniel: Ping timeout: 272 seconds
17:36 (join) MayDaniel
18:07 (quit) jrslepak: Read error: Connection reset by peer
18:07 (join) jrslepak
18:12 (join) wtetzner
18:12 (quit) MayDaniel: Read error: Connection reset by peer
18:26 (join) dsantiago
18:29 (quit) anRch: Quit: anRch
18:50 (join) mye
18:55 (quit) mye: Ping timeout: 246 seconds
18:57 (join) yoklov
19:01 (quit) masm: Quit: Leaving.
19:01 (join) lebro
19:04 (quit) jrslepak: Ping timeout: 250 seconds
19:05 (join) jrslepak
19:14 (join) Kaylin
19:34 (quit) jeapostrophe: Ping timeout: 240 seconds
19:47 (quit) Kaylin: Read error: Connection reset by peer
19:51 (quit) lebro: Read error: Connection reset by peer
20:34 (join) RPR
20:34 (quit) mithos28: Quit: mithos28
20:36 (join) hash_table
20:45 (join) mithos28
20:47 (join) jeapostrophe
21:05 (quit) RPR: Quit: Leaving
21:30 (join) adu
21:33 (join) mye
21:38 (quit) adu: Quit: adu
21:39 (quit) mye: Quit: Leaving
21:49 (join) Kaylin
21:49 (quit) lusory: Read error: Connection reset by peer
22:14 (join) adu
22:49 (join) RacketCommitBot
22:49 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/932de7536ea7d31586ae5aa45fd47aab05652b40
22:49 RacketCommitBot: [racket/master] use MZ_IS_NAN() instead of non-portable isnan() - Matthew Flatt
22:49 (part) RacketCommitBot
22:57 (quit) wtetzner: Ping timeout: 246 seconds
23:12 (join) wtetzner
23:22 (quit) adu: Quit: adu
23:29 (quit) hash_table: Ping timeout: 246 seconds
23:53 (join) lebro