usethesource / typepal Goto Github PK

If the code below is type checked, the function dead is marked with a Missing return statement error. This is incorrect and should be the dead code warning/error for the println statement.

I've executed this with rascal version 0.18.0.202004041615

module DeadCode

import IO;

int dead() {
    while(true) {
        return 0;    
    };
    println("This is dead code");
}

we would like to make sure the test cases in typepal contain a (smoke) test for the logical locations feature.

https://github.com/usethesource/typepal/runs/4189164598?check_suite_focus=true

I'm at a loss here. What is going on? This is the same action we use for other projects.

Run softprops/action-gh-release@v1
  with:
    draft: true
    files: /**/*
    token: ***
  env:
    MAVEN_OPTS: -Xmx4G -Dhttps.protocols=TLSv1.2 -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=WARN -Dorg.slf4j.simpleLogger.showDateTime=true -Djava.awt.headless=true
    JAVA_HOME_11.0.13_x64: /opt/hostedtoolcache/jdk/11.0.13/x64
    JAVA_HOME: /opt/hostedtoolcache/jdk/11.0.13/x64
    JAVA_HOME_11_0_13_X64: /opt/hostedtoolcache/jdk/11.0.13/x64
    GITHUB_TOKEN: ***
Error: EACCES: permission denied, scandir '/boot/efi'

The syntax rule in question in TypePal does not seem to be used:

It's used to create a dummy source location that points into the given module. So @PaulKlint if we could put a hand-written or otherwise acquired loc here, it would safe a view minutes in different use-cases of Typepal.

Originally posted by @jurgenvinju in usethesource/rascal#1650 (comment)