freenode/#clasp - IRC Chatlog
Search
19:53:22
Bike
i merged a bunch of my sicl changes together and rebuilt everything, which resulted in alexandria failing even earlier
19:57:42
Bike
i isolated what form is having the problem, which is good. it's a page long macro,which is less good
19:59:34
drmeister
I still think we should have a HIR validator. We could write modules and come up with hypotheses about what is wrong and then test the HIR.
20:05:07
Bike
as usual, the hir is too big to look at as a graph,and reductions that really shouldn't change anything do...
20:14:48
Shinmera
the actual documentation can just be a file in the format of your choice (typically markdown or html)
20:15:31
Shinmera
I'm currently doing some more work on Staple to add stuff like source-code links to definitions.
20:16:38
drmeister
https://cloud.githubusercontent.com/assets/192614/17861955/29539898-6861-11e6-9072-82670e08f962.gif
20:18:33
Bike
as long as we have something written down, we can work out how to hook it up to whatever development environment
20:20:56
Shinmera
Either in the definitions, or anywhere else by (setf documentation), or using documentation-utils for a bit more convenience
20:21:13
Shinmera
The latter would also allow hooks to do markup transfomations and extraction if you ever want that in the future I guess
20:21:48
Bike
i don't care where we put it. moving it later is less of a project than writing it in the first place
20:24:21
Bike
hm, the bug seems to have the same source as last time, a datum with two owners. a man may not serve two masters
21:41:41
Colleen
DVSSA: drmeister said 8 hours, 49 minutes ago: Here is a good link that describes the Rosetta atom tree https://www.rosettacommons.org/docs/latest/getting_started/Getting-Started
22:17:01
karlosz
drmeister: if you're still interested, i've coded up a HIR pass I'm fairly confident reduces all <- nodes correctly. i've tested and graphed on a few inputs and i get good bytecode, but it would be great if you could test it with clasp.
22:19:37
Bike
if you have (setq x y) (setq x z) (f x), x has one use but can't be collapsed into y, but if i'm reading these conditions right it will be
2:22:00
drmeister
Bike: I mean to test it against the clasp source code - not to unilaterally incorporate it.
2:35:11
karlosz
drmeister: i think it would make sense to put it as the first optimization, right after converting to hir. that's the stage i applied the optimization to, and it should help speed up the other passes too
2:52:56
drmeister
We could postpone it until I get the kinematics working - but it helps to talk about it.
2:53:23
drmeister
When I first implemented it I made it way too complicated - I'm simplifying it now.
3:01:18
karlosz
Bike: you mentioned that generate asts is older. does that mean at some point it will be deprecated and a switch will be made to csts+ast?