Andrew Davison
Andrew Davison
Interesting... ``` ?- X = [1,f (2),3]. Error: syntax error, operator expected before parens, user:1 ?- X = [1,'f' (2),3]. X = [1,f|2]. ?- ```
This seems fixed... ``` $ tpl ?- op(1,fy,'.'). true. ?- L = ['.' ('.')]. L = ['.' ('.')]. ?- ```
And while i'm at it... why `sum_list/2` and not `list_sum/2` to use the modern form of such things. I know `sum_list/2` is SWI compatible.
Scryer doesn't do portray_clause/2 as it's non-standard so maybe best avoided.
Sorry, take that back. I though you meant format *~p* to call a user-defined portray.
I've never used portray_clause/2 and am not at all familiar with it.
> It works fine when using `copy_term/3` instead of `copy_term/2` [eyereasoner/eye3@c47dc10](https://github.com/eyereasoner/eye3/commit/c47dc107881ee317c1a52538ca3b5f283ee87299) How is that explainable? Since you are not using attributes (I assume) it is indeed odd. It should work...
Sorry, problem not fixed it seems.
If this is still about copy_term/2 vs copy_term/3 then I do not have a solution for that yet. I will be unable to work on Trealla for the next 2...
Can't access the repo unfortunately. If I survive the tropical cyclone in the next 48-hours i'll have a new look at it again!