Dominic Orchard

icon indicating a website link http://dorchard.github.io

icon location Canterbury, UK icon location Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Results 99 comments of Dominic Orchard

Cannot import `--safe` modules when using `--allow-unsolved-metas` command-line option

Is there any way around this for now? I'm trying to use something in interactive mode were my top-level module has unsolved metas but all my modules are safe.

Cannot import `--safe` modules when using `--allow-unsolved-metas` command-line option

Thanks for replying. That seems to be the case already (things from `agda-stdlib`). A MWE is the same as the one posted at the top of this issue.

Stencils with multiple ranges should sometimes get access-pattern specs

Reconsider in light of 8b5c622346c594e972dce9ead0ba7a9a09837a4c

Stencils with multiple ranges should sometimes get access-pattern specs

Note that the equivalent code here would be: do i = 1, 2 s = 0 do j = 1, 2 do k = 1, 3 s = s +...

Unit aliases need a global check

An example is here: https://github.com/camfort/camfort/tree/master/samples/units/global

Fails on pre-processor directives

Could we consider adding a `--cpp` option to CamFort that runs the file through cpp first?

-I not behaving well

Commit 4e63f2f639b754ae85a2ef2510bfeb8732d3df11 fixes this (not yet merged to `master`).

Associate inferred stencil specifications to a complete data reference rather than just the label

While the parsing seems correct - I still think this is the wrong kind of label to associate for the stencil specification.

Associate inferred stencil specifications to a complete data reference rather than just the label

Although this is very minor so it's probably not a big issue.

stencils-infer: Don't infer existing stencils

This seems to be working as the default now....