amalgame/commit
FIXED: broken commit 7bcf02a186554f994fa29109045d1e5ea473a074
author | Jacco van Ossenbruggen |
---|---|
Tue Sep 12 17:08:59 2017 +0200 | |
committer | Jacco van Ossenbruggen |
Tue Sep 12 17:08:59 2017 +0200 | |
commit | 4e8cb9c76dce0b9823f8a48e4fda18d33363a760 |
tree | 4c2b3d47ebf7198b73c21243e9b7c818d63710e1 |
parent | ad9b055265934ebae31cca0c78bb61184dd8262f |
Diff style: patch stat
diff --git a/components/amalgame/correspondence.pl b/components/amalgame/correspondence.pl index fd8e304..b404c47 100644 --- a/components/amalgame/correspondence.pl +++ b/components/amalgame/correspondence.pl @@ -74,13 +74,19 @@ html_correspondences([A|As], Options) --> html_correspondence(A, Options), html_correspondences(As, Options). +fill_in_correspondence(Evidence, Relation, Comment) :- + member(Method, Evidence), + option(relation(Relation), Method), + option(comment(Comment), Method, ''), + !. + +fill_in_correspondence(_Evidence, undefined, ''). + html_correspondence(align(Source, Target, Evidence), Options) --> { length(Evidence, EvLength), option(relations(Relations), Options, []), ( option(mode('fill-in'), Options) - -> member(Method, Evidence), - option(relation(Relation), Method), - option(comment(Comment), Method, '') + -> fill_in_correspondence(Evidence, Relation, Comment) ; Comment = '', Relation = undefined ) },