logic - ADT properties in Mercury -

-

I do not know why Mercury (10.04) can not predict the determination of the next snippet: 

 < Code>: - pred load_freqs (int :: in, io.res (list): out, io :: di, io :: uo Load_freqs (CPU, ResFreqs, IO): - open_input (cpu_fn (cpu, "Available_fractures"), resstream, IO), (resistor = IoOk (stream) -> gt; recefrec = io.ok ([]); ResStream = io.error (error), ResFreqs = io.error (Err) .

This complains: 

 cpugear.m: 075: in 'load_freqs' (inside, out, die, u): cpugear.m: 075: Error: determinism Announcement is not satisfied Cpugear.m: 075: Declaration of 'DAT', Estimated 'Assured' Cpugear.m: 080: Integration of 'Ristream' and 'io.error (Err)' may fail Cpugear.m: 076 : The prediction for 'cpugear.load_freqs' / 4: section of cpugear.m: 076: Warning: The variable' CPU 'occurs only once in this area. Cpugear.m: 078: Segment `cpugear.load_freqs' / 4: Cpugear.m: 078: For warnings: The variable `stream 'occurs only once in this area.

but with IO Res only io.ok / 1 and io.error / 1 . And the next snippet of code is compiled well: 

 : - pred read_freqs (io.res (io.input_stream) :: in, io.res (list (float)) :: out, io :: di, io :: uo Read_freqs (io.ok (stream), io.ok ([]), Io, Io. Read_freqs (io.error (error), io.error (error) , IO, IO)

Update # 1 : It can also decide for: 

 : - pred read_freqs (Bool :: in, IO .res (io.input_stream) :: in, io.res (list (float)) :: out, io :: di, io :: uo is Read_freqs (no, resstream, io.ok ([]), Io, IO): - ResStream = io.ok (_) Read_freqs (F, io.ok (_), io.ok ([]), Io, IO): - F = yes Read_freqs (yes , Io.error (error), io.error (A Read_freqs (F, ResStream, io.error (error), IO, IO): - ResStream = io.error (error), F = None Conditionalism (below) My reading of the rules is that for this,

-> should be replaced with Mercury reference manual with ,

:

If-if-then-else the status is not unsuccessful If so, then the other is equal to the combination of the situation and "again" part, and its determinism is calculated accordingly. Otherwise, if-then the other might fail if the "so" part or "other" part may fail.


Comments

Post a Comment

Popular posts from this blog

c# - sqlDecimal to decimal clr stored procedure Unable to cast object of type 'System.Data.SqlTypes.SqlDecimal' to type 'System.IConvertible' -

-
I'm new to this I'm writing a clr. stored procedure that can be used to get values ​​used in a calculation Call for another stored procedure for Gives an archived methodology int (I think SqlInt32? Value of the table's value is int) which is then necessary to convert to decimal. Here I have the code: Public static integral mood (SQL MDMMYLUE, escalistering AMY type, out of SQLDCM Result) {aResult = 0; Try {SqlConnection conn = New SqlConnection ("Reference Connection = True"); SqlCommand cmd = New SqlCommand ("sp_GetType", conn); Cmd.Parameters.AddWithValue ("@ myValueType", aMyValueType); Cmd.CommandType = CommandType.StoredProcedure; Conn.Open (); Object type = CMD. Exclamation Asser (); Conn.Close (); Decimal type FORCalculation = Convert. ToDecimal (type); Decimal value = convert toDecimal (aMyValue); // ** calculation calc = new calculation (); Decimal result = calorie.docalulation (typefarculation, value); I get an exception...
Read more

Calling GetGUIThreadInfo from Outlook VBA -

-
I need to find the active window'm writing a VBA macro in MS Outlook, which is a specific process. The goal of this is to get the active window / document name even if its original application has more than one document interface. User processor with GetCurrentThreadId is active, I am using GetGUIThreadInfo to get .dll. Here is the correct code: private type RECT as as Left LongPtr top LongPtr right LongPtr down LongPtr termination of private type GUITHREADINFO cbSize as LongPtr flags LongPtr hwndActive LongPtr hwndFocus LongPtr hwndCapture LongPtr as as as as as reset as LongPtr rcCaret as LongPtr hwndCreate as LongPtr hwndMoveSize as HwndMenuOwner end of Private Equity PtrSafe function GetWindowThreadProcessId Lib "user32" (_BVV hnw LongPtr as LongPtr Nig Mr. announced as PtrSafe function GetGUIThreadInfo Lib "user32" _ (ByVal dwthreadid as LongPtr, _ lpguithreadinfo as GUITHREADINFO) LongPtr Sub MyFunction () as dim strWindowTitle string = space as s...
Read more

Obfuscating Python code? -

-
I'm looking for a way to hide my Python source code. print "Hello World!" How can I encode this example so that it is not human-readable? I have been asked to use Base 64 but I'm not sure how. itemprop = "text"> It is limited only, first level ambiguous resolution, but has built-in: byte-code in Python Is a compiler for: dragon-o-m py_compile & lt; Your program.py & gt; creates a .pyo file with a byte-code, and where the docstrings are removed, etc. You can rename .pyo with the .py extension, and python & lt; Your program.py & gt; runs as your program, but it does not have your source code. PS : If your program blur modules like this, you need to rename them with the .pyc suffix (I Not sure it will not break a day), or you can work with .pyo and run them with python -o ... .pyo ( Import should work). This will allow dragon to search your modules (otherwise, Python looks for the .py module).
Read more