Translator from OWL to DL #350
daghovlandpull_request_tester.yml
on: pull_request
test
/
build
51s
Annotations
10 errors and 4 warnings
|
test / build:
src/OWL2ALC/Library.fs#L48
The constructor, module or namespace 'XsdMinExclusive' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L49
The constructor, module or namespace 'XsdMinInclusive' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L50
The constructor, module or namespace 'XsdMaxExclusive' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L51
The constructor, module or namespace 'XsdMaxInclusive' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L52
The constructor, module or namespace 'XsdLength' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L53
The constructor, module or namespace 'XsdMinLength' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L54
The constructor, module or namespace 'XsdMaxLength' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L55
The constructor, module or namespace 'XsdPattern' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L56
The constructor, module or namespace 'XsdLangRange' is not defined.
|
|
test / build:
src/OWL2ALC/Library.fs#L48
The constructor, module or namespace 'XsdMinExclusive' is not defined.
|
|
test / build:
src/AlcTableau/Tableau.fs#L173
Incomplete pattern matches on this expression. For example, the value 'NegativeLiteralAssertion (_, _, _)' may indicate a case not covered by the pattern(s).
|
|
test / build:
src/AlcTableau/ConjunctiveQueryAnswer.fs#L21
Incomplete pattern matches on this expression. For example, the value 'NegativeLiteralAssertion (_, _, _)' may indicate a case not covered by the pattern(s).
|
|
test / build:
src/AlcTableau/Tableau.fs#L173
Incomplete pattern matches on this expression. For example, the value 'NegativeLiteralAssertion (_, _, _)' may indicate a case not covered by the pattern(s).
|
|
test / build:
src/AlcTableau/ConjunctiveQueryAnswer.fs#L21
Incomplete pattern matches on this expression. For example, the value 'NegativeLiteralAssertion (_, _, _)' may indicate a case not covered by the pattern(s).
|