HPF Semantics Checking:

• hpfsc --- takes as input a file filename.dep, performs various semantics check while augmenting the AST to some extend, and outputs a modified version of filename.dep.

     Usage: hpfsc [-vhmcdoiD] HPF_file.dep
            -v : version
            -h : usage
            -m : write .mod files for module .
            -c : compile the source files, but do not link.
            -d : debugging parser
            -o : output filename.
            -i : standard library compilation
            -D : display the module dependence .
  

• The Implementation of HPF FrontEnd

  Postscript

  PDF

• Examples