2021-01-30 20:27:10 +00:00
|
|
|
module statics
|
|
|
|
|
|
2021-01-30 23:37:53 +00:00
|
|
|
imports signatures/fostr-sig
|
|
|
|
|
|
|
|
|
|
// see docs/implementation.md for details on how to switch to multi-file analysis
|
2021-01-30 20:27:10 +00:00
|
|
|
|
|
|
|
|
rules // single-file entry point
|
|
|
|
|
|
2021-02-01 08:29:00 +00:00
|
|
|
programOk : Start
|
2021-01-30 20:27:10 +00:00
|
|
|
|
2021-02-01 08:29:00 +00:00
|
|
|
programOk(TopLevel(_)).
|
2021-01-30 20:27:10 +00:00
|
|
|
|
|
|
|
|
rules // multi-file entry point
|
|
|
|
|
|
|
|
|
|
projectOk : scope
|
|
|
|
|
|
|
|
|
|
projectOk(s).
|
|
|
|
|
|
2021-02-01 08:29:00 +00:00
|
|
|
fileOk : scope * Start
|
2021-01-30 20:27:10 +00:00
|
|
|
|
2021-02-01 08:29:00 +00:00
|
|
|
fileOk(s, TopLevel(_)).
|
