Dominic Orchard

Stencils with multiple ranges should sometimes get access-pattern specs

2

e.g. `p(:,0) = sum(q(:,1,:))` Investigate further what the correct behaviour is here. This currently gets the specification `stencil readOnce, (reflexive(dim=1))*(reflexive(dim=3)) :: q` But I believe this is an example which...

A common archaic pattern is to define subroutines in separate files which are used in other files without an explicit dependency, but which are built together. We have an issue...

Allow pre- and post- conditions inline in code

1

I've been playing with the new invariants feature. I note that at the moment we can only put pre and post conditions around functions. It would be great if we...

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

9

See for example: ``` ! subscript on data ref do i=1,10 c%yval(i) = d%yval(i) end do ``` (from https://github.com/camfort/camfort/blob/master/samples/stencils/dataRefExample2.f90) We infer specification: ``` (33:6)-(33:26) stencil readOnce, (pointed(dim=1)) :: yval ```...

Unit aliases need a global check

1

Named aliases can be given for units, but there is no global check to make sure that there are no repeated name declarations that are defined inconsistently. This needs fixing!

``` program array implicit none integer :: i integer, dimension(5) :: x integer, dimension(5) :: y equivalence (x(1), y(1)) do i = 1, 5 x(i) = i end do end...

Hi Sam, I was getting to grips with the library and needed to put a constraint in the handler for the normal Writer monad, but this wasn't supported. So I...

Copying prior to pass-by-reference triggered by parentheses, which we ignore.

3

This Tweet alerted me to something in Fortran that I was not aware of: https://twitter.com/fortrantip/status/1479071485859962880 If an argument is passed to a subroutine/function that is a variable wrapped in parentheses,...

Implicit typing not taken into account by

1

Given the following `implicit.f`: ``` PROGRAM IMPLICIT IX = 0 IY = 0 END ``` then `fortran-src -t implicit.f` cannot calculate any types, but this should be inferring via the...

fortran-src builtin type checker doesn't report declaration type errors

4

Consider: program ty implicit none character :: x x = 42 end program ty The `-t` pass doesn't report anything fishy but I think it should (if would complain if...