| 00:11:22 | * | Trixar_za is now known as Trix[a]r_za |
| 00:11:31 | * | XAMPP quit (Read error: Connection reset by peer) |
| 00:45:46 | * | XAMPP joined #nimrod |
| 01:41:22 | * | q66 quit (Quit: Leaving..) |
| 08:26:05 | * | Araq_ joined #nimrod |
| 08:26:22 | Araq_ | zahary: http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/rewrite-rules.html |
| 08:59:59 | zahary | interesting |
| 09:01:59 | zahary | this phase control is something I haven't seen before |
| 09:03:54 | zahary | sexp languages have it easier to define term-rewriting in general, but you can easily pretend that PNodes are sexp-s too |
| 09:11:59 | Araq_ | I planned to come up with rules that are good enough and not have user definable phase ordering ;-) |
| 09:12:14 | Araq_ | at least not for the first versions |
| 09:29:42 | * | q66 joined #nimrod |
| 09:51:04 | Araq_ | and the haskell people use it for optimization only too ;-) |
| 09:51:43 | Araq_ | your point about 'proxies' is good though |
| 09:55:01 | Araq_ | btw I think what you have in mind is doing the pattern matching at the start of 'semExpr' *and again* at the end of 'semExpr' |
| 10:02:04 | zahary | btw do you remember the term rewriting system I posted that allowed you to specify all kind of rules and strategies for how the rewriting should be carried away |
| 10:02:05 | zahary | http://hydra.nixos.org/build/2583471/download/1/manual/chunk-chapter/stratego-rewriting-strategies.html |
| 10:02:52 | zahary | I'm not sure we need any of those, but it may be a worthwhile to go through the docs |
| 10:08:01 | Araq_ | yeah thanks I will |
| 10:16:32 | Araq_ | see you later |
| 10:16:34 | * | Araq_ quit (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347]) |
| 11:43:50 | * | Trix[a]r_za is now known as Trixar_za |
| 12:09:39 | * | comex quit (*.net *.split) |
| 12:10:12 | * | comex joined #nimrod |
| 12:21:36 | * | comex quit (*.net *.split) |
| 12:22:29 | * | comex joined #nimrod |
| 12:28:00 | * | Trixar_za is now known as Trix[a]r_za |
| 13:07:36 | * | Araq_ joined #nimrod |
| 13:09:19 | * | Araq_ quit (Client Quit) |
| 19:47:17 | Araq | ping zahary |
| 19:57:42 | zahary | pong |
| 19:59:15 | Araq | I'm looking at suggest.nim and noticed you added 'nOrig' to suggestCall, right? |
| 19:59:47 | zahary | right, that was long time ago tho |
| 20:01:48 | Araq | did you test it? |
| 20:01:57 | Araq | do you use 'suggest'? |
| 20:02:34 | zahary | not really - does it crash somehow? |
| 20:02:51 | Araq | no ... just trying to figure out why it works so crappy |
| 20:03:27 | zahary | my code there is supposed to be noop - the nOrig part is used actively only in overload resolution |
| 20:05:01 | Araq | 'suggestCall' does some overload resolution |
| 20:13:02 | Araq | dom96: please make 'suggestEverything' echo "came here" and take a look when it's triggered |
| 20:20:50 | dom96 | ok |