Alessandro Coglio
Alessandro Coglio
Can this Issue be closed, or is there more to it than what we currently have on leeroy?
Thanks for the quick reply. It seems that the success of the form depends on the included books. The following fails for me: (include-book "centaur/fty/top" :dir :system) (fty::deflist string-list :pred...
Right, but even with :true-listp t, I get a failure if I include fty/top, while it works if I include only fty/deftypes and fty/basetypes. Perhaps we should look into making...
I gave your suggested fix a shot (it's in my acl2 clone, branch string-list-fix), but when I try building I get an error that might have to do with circular...
I suppose that this could be realized by integrating return type specifiers with `defrule`, which supports "direct" keyword hints — `:enable`, `:disable`, `:use`, etc.
Is this Issue still relevant/applicable?
It looks like the `GNUMakefile` contains many targets of the form ``` .PHONY: : $(filter /%, $(OK_CERTS)) ``` besides `std`. So maybe this issue is broader than just Std. Given...
@mister-walter Do you think that this issue is resolved and could be closed?
This is still relevant, but the culprit is no longer the tokenizer, but rather the `analyze_source_file` function in `source_map.rs` in `span`: [this](https://github.com/AleoHQ/leo/blob/1ccdb3311fdc9d7eacbadb58fce4a362ec572249/compiler/span/src/source_map.rs#L422) only checks for LF.
This issue is still relevant. We need to make a decision.