Created Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.
View ArticleClosed Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: fixed in e482c374b514. error position now should point at erroneous word or next word to it.
View ArticleCommented Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: http://dkal.codeplex.com/SourceControl/changeset/e482c374b514
View ArticleReopened Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: if parse error is in a substrate query then line number is still incorrect
View ArticleCreated Feature: Collections support [2]
`Type CollectionOfStrings = System.String[]`Add functions `exists` and `isEmpty`.
View ArticleClosed Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: substrate query case fixed in http://dkal.codeplex.com/SourceControl/changeset/11ad5a46237c
View ArticleEdited Feature: Collections support [2]
type declaration:<br />`Type CollectionOfStrings = System.String[]`<br />usage (see ModularEngine/samples/MultiMain/collections.mdkal):<br />`<br />relation rel(A:...
View ArticleEdited Feature: Collections support [2]
type declaration:<br />{{ Type CollectionOfStrings = System.String[] }}<br />usage (see ModularEngine/samples/MultiMain/collections.mdkal):<br />{{<br />relation rel(A:...
View ArticleEdited Feature: Collections support [2]
type declaration:<br /><br />Type CollectionOfStrings = System.String[]<br /><br />usage (see ModularEngine/samples/MultiMain/collections.mdkal):<br /><br />relation...
View ArticleCreated Feature: DateTime type support [3]
Add `System.DateTime` type support for DKAL.Add functions `date` to create DateTime's (via DateTime.Parse) and `now` to get current DateTime.Support comparison operators on DateTime.
View ArticleClosed Feature: DateTime type support [3]
Add `System.DateTime` type support for DKAL.Add functions `date` to create DateTime's (via DateTime.Parse) and `now` to get current DateTime.Support comparison operators on DateTime.Comments: fixed in...
View ArticleCreated Feature: Multi-state conditional expressions [4]
Add support for multi-state conditional expressions in rules (`if/then/else`)Semantics for `else` is that condition does not return any substitutions or substrate query returns false.
View ArticleCreated Task: Cleanup substrate query syntax [5]
0. Make double quotation marks `"` optional for datasource namespaces. To write `asInfon({|ns|query|})`instead of `asInfon({|"ns"|query|})`1. Make `asInfon` syntax construct optional:`if {|ns|query|}...
View ArticleClosed Task: Cleanup substrate query syntax [5]
0. Make double quotation marks `"` optional for datasource namespaces. To write `asInfon({|ns|query|})`instead of `asInfon({|"ns"|query|})`1. Make `asInfon` syntax construct optional:`if {|ns|query|}...
View ArticleCreated Issue: Move all deps to NuGet package manager. Enable Package Restore...
NuGet extension is included in VS2012.With "Enable NuGet Package Restore" we can store only references to dependencies in VCS, without binaries.Use FSharpPowerPack dependency from NuGet, so we don't...
View ArticleEdited Feature: Collections support [2]
type declaration:```type CollectionOfStrings = System.String[]```usage (see ModularEngine/samples/MultiMain/collections.mdkal):```relation rel(A: CollectionOfStrings)knows rel(["qwe"; "asd";...
View ArticleClosed Feature: Collections support [2]
type declaration:```type CollectionOfStrings = System.String[]```usage (see ModularEngine/samples/MultiMain/collections.mdkal):```relation rel(A: CollectionOfStrings)knows rel(["qwe"; "asd";...
View ArticleCommented Feature: DateTime type support [3]
Add `System.DateTime` type support for DKAL.Add functions `date` to create DateTime's (via DateTime.Parse) and `now` to get current DateTime.Support comparison operators on DateTime.Comments: Example...
View ArticleCreated Issue: stackoverflow on recursive definitions with substrate queries...
Example:```knows forall O: Object, O1: Object, G: Group notowned(O) && {|x| "//objects//$O/.." | O1 |} && permitg(G, O1) -> permitg(G, O)```
View ArticleClosed Issue: stackoverflow on recursive definitions with substrate queries...
Example:```knows forall O: Object, O1: Object, G: Group notowned(O) && {|x| "//objects//$O/.." | O1 |} && permitg(G, O1) -> permitg(G, O)```Comments: fixed in 9c6f95cd427f
View Article