mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-26 11:18:55 -06:00
bugfix in make of incomplete
This commit is contained in:
@@ -4,6 +4,8 @@
|
|||||||
|
|
||||||
concrete specUserSwe of specUser = specificSwe, genUserSwe ** {
|
concrete specUserSwe of specUser = specificSwe, genUserSwe ** {
|
||||||
|
|
||||||
|
flags startcat=DMove ;
|
||||||
|
|
||||||
lin
|
lin
|
||||||
--- Answers in request list
|
--- Answers in request list
|
||||||
vcr_add_rec_job_args4 chts wdts stts etts = {s =
|
vcr_add_rec_job_args4 chts wdts stts etts = {s =
|
||||||
|
|||||||
@@ -116,7 +116,8 @@ needCompile opts headers sfiles0 = paths $ res $ mark $ iter changed where
|
|||||||
let us = uses f in
|
let us = uses f in
|
||||||
if not (all noComp us) then
|
if not (all noComp us) then
|
||||||
fp else
|
fp else
|
||||||
if (elem (typ f) [MTyIncomplete, MTyIncResource] ||
|
if (elem (typ f) [] ---- MTyIncomplete, MTyIncResource]
|
||||||
|
||
|
||||||
(not (null us) && all isAux us)) then
|
(not (null us) && all isAux us)) then
|
||||||
(f,(p,CSDont)) else
|
(f,(p,CSDont)) else
|
||||||
fp
|
fp
|
||||||
|
|||||||
Reference in New Issue
Block a user