{5} Assigned, Active Tickets by Owner (Full Description) (4 matches)

List tickets assigned, group by ticket owner. This report demonstrates the use of full-row display.

pmoura (4 matches)

Ticket Summary Component Milestone Type Created
Description
#2 threaded/1 calls fail to cleanup all created threads on thread creation resource error compiler Logtalk distribution defect 03/03/08

A threaded/1 call may fail to cleanup all created threads on thread creation resource error. A common resource error is the exhaustion of virtual memory address space when using 32 bits versions of a back-end Prolog compiler such as SWI-Prolog. This problem may result in orphaned threads, some of them continuing running subgoals instead of being aborted as a consequence of the resource error.

#10 Support for type-checking compiler Logtalk enhancements enhancement 04/17/08

I recently came across this post by Tom Schrijvers which describes an extension to prolog that allows static type-checking.
http://tomschrijvers.blogspot.com/2008/02/types-for-prolog.htm

The features I particularly like are:
- It is optional. The user isn't forced to use types.
- After an initial type check there is no further runtime overhead.

This would be a great feature for Logtalk.

Discussed in forum here: http://forums.logtalk.org/viewtopic.php?f=14&t=30

#19 little bug in vim indent text editor support Logtalk distribution defect 07/10/08

Hello,

Sorry to bother again with this :)

I found another little problem with vim indent file : 

test :-
  ( a ->
    b,
    c
  ; d(a),
    e
  ),
  f.

is indented to : 

test :-
  ( a ->
    b,
    c
  ; d(a),
  e
),
f.

If "d(a)" is just "d", the indent is ok : 

test :-
  ( a ->
    b,
    c
  ; d,
    e
  ),
  f.
#4 Use trie assert in XSB compiler Logtalk enhancements enhancement 03/16/08

Trie assert in XSB is much faster than normal assert. It wold be nice if the Prolog code generated by the Logtalk compiler for dynamic predicates used trie assert when using XSB as a back-end compiler.

Note: See TracReports for help on using and creating reports.