Welcome to novaBBS (click a section below)
|mail  files  register  nodelist  faq  login|
Posted: 1 Day 9 Hours ago by: Doctor Whothank you.
Posted: 1 Day 10 Hours ago by: Gautier write-only aQuoting from ./doc/hac.txt (section "Language subset"): "The available Ada language subset supported by HAC is so far, roughly, the "Pascal subset", plus tasking, plus packages, less pointers. From a different perspective, HAC support
Posted: 1 Day 14 Hours ago by: Bill FindlayYou beat me to it by an hour! Ditto.
Posted: 1 Day 15 Hours ago by: Leo BrewinI just tested this on MacOS Monterey 12.3.1 and it works perfectly out of the box (as expected for Ada code :). Great work Gautier! Cheers, Leo
Posted: 1 Day 23 Hours ago by: Doctor Whowhich subset of the Ada language is covered?
Posted: 2 Days ago by: J-P. RosenWhat you say is logical if you think of an expression function as a body; however, it is more like a specification (it can appear in a package spec, although it can complete a specification), so the place where the aspect appears makes
Posted: 2 Days 2 Hours ago by: Robin VowelsOn Saturday, May 14, 2022 at 6:46:08 PM UTC+10, mockturtle wrote:
Posted: 2 Days 3 Hours ago by: Gautier write-only aBTW: for the small things you describe, you could be tempted by HAC (see the post about HAC a few hours later) :-)...
Posted: 2 Days 3 Hours ago by: Gautier write-only aHAC (HAC Ada Compiler) is a quick, small, open-source Ada compiler, covering a subset of the Ada language. HAC is itself fully programmed in Ada. Web site: http://hacadacompiler.sf.net/ From there, links to sources and an executable for W
Posted: 2 Days 4 Hours ago by: BladyHello, I'm puzzled when I want to changed a function body with aspects to an expression function, for instance: function Length (S : Some_Tagged_Tyoe) return Natural with Pre => S.Valid is begin return S.Length; end; hav
Posted: 2 Days 7 Hours ago by: mockturtleAs you can guess, my language of choice is Ada, but for small things (often "fast and dirty") or to extract stuff from text files, I use Ruby which I prefer over its direct competitor (much more popular) Python. Then I read this  This
Posted: 2 Days 7 Hours ago by: mockturtleYes,
Posted: 3 Days 14 Hours ago by: Tucker TaftWebsite is: https://conf.researchr.org/home/hilt-2022
Posted: 3 Days 14 Hours ago by: Tucker TaftHILT-2022 - Supporting a Rigorous Approach to Software Development This is the seventh in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineer
Posted: 3 Days 18 Hours ago by: Gabriele GaleottiHi all, I've just released SweetAda 0.10. SweetAda is a lightweight development framework to create Ada systems on a wide range of machines. Please refer to https://www.sweetada.org. Release notes @ https://www.sweetada.org/releas
Posted: 4 Days 22 Hours ago by: Simon WrightFind GCC 12.1.0 & tools for Intel silicon (will run on M1 silicon under Rosetta) at https://github.com/simonjwright/distributing-gcc/releases/tag/gcc-12.1.0-x86_64 Built on High Sierra with Python 3.8 (because Apple have withdrawn 2.7 in M
Posted: 6 Days 9 Hours ago by: Dmitry A. KazakovIt is a totally unrealistic scenario. If there exist a way to close a handle from outside then only in the system kernel.
Posted: 6 Days 11 Hours ago by: Randy Brukardt"Dmitry A. Kazakov" <firstname.lastname@example.org> wrote in message news:email@example.com...
Posted: 7 Days 3 Hours ago by: Dmitry A. KazakovYes, all this fully applies to local disks and filesystems. Just look how writing an SSD works. I think you could get better chances with magnetic drums from 60's. (:-))
Posted: 7 Days 3 Hours ago by: Doctor Whowe are talking about files, in a local disk right?
Posted: 7 Days 4 Hours ago by: Dmitry A. KazakovA bad idea. First it is an unnecessary overhead, because ultimately the check will be repeated. Secondly it is technically impossible to do for a huge number of reasons: 1. Too complex to do. The modern hardware and software does a l
Posted: 7 Days 5 Hours ago by: Doctor Whoif you do a check before write there is no need to rise and propagate an exception.
Posted: 7 Days 6 Hours ago by: Dmitry A. KazakovThat is another design flaw that Finalize overrides rather than extends. Sure, in a typical program you always have a snowball effect caused by an abnormal condition. It is the programmer's duty to sort the things out and the language
Posted: 7 Days 7 Hours ago by: Niklas HolstiThat might work if the scope that is being left has only one local object that needs finalization. But what if there are several, and the first Finalize propagates an expection? Should the remaining finalizations be skipped? That woul
Posted: 7 Days 20 Hours ago by: John PerryAre you referring to this? https://github.com/godunko/adawebpack/ On Sunday, May 8, 2022 at 4:43:01 AM UTC-5, mockturtle wrote:
Posted: 7 Days 21 Hours ago by: Doctor Whook
Posted: 7 Days 21 Hours ago by: Dmitry A. KazakovUpon a write error an exception will propagate and Output_File will go out of the scope. The file will be closed and the exception will continue its way. This is a safe behavior. Randy's code is unsafe and requires catching and re-rai
Posted: 7 Days 22 Hours ago by: Doctor WhoNot in the case that your data space is exhausted, in that case Write_Output will fail, because you have no checks of free space before writing.
Posted: 8 Days 6 Hours ago by: mockturtleIf I remember correctly, there is a project to create an Ada-to-WASM (Web Assembly) compiler (via LLVM? I am not sure). Anyway, if such project exists and someone here is involved, I would like to point out to the fairly new Web Assembly b
Posted: 8 Days 7 Hours ago by: Dmitry A. KazakovYou are talking about a very low level and tightly coupled design. Higher level object is supposed to prevent that so that there would be no need in taking several mutexes or in chains of external entry calls, at least not explicitly.
Posted: 8 Days 13 Hours ago by: Randy Brukardt"Dmitry A. Kazakov" <firstname.lastname@example.org> wrote in message news:email@example.com... That's a common fallacy. Such objects are safe only if there is exactly one in your system. If there is more than one, various forms of
Posted: 9 Days 1 Hour ago by: Dmitry A. KazakovNot when other objects are tasks, protected objects, active objects, atomic objects. Surely operations can be implemented by entry calls or protected calls. The language lacks rather obvious means of delegation to ease that for the
Posted: 9 Days 12 Hours ago by: Randy Brukardt"Dmitry A. Kazakov" <firstname.lastname@example.org> wrote in message news:email@example.com... Irrelevant. A task can only be safe if it never interacts with no other objects outside of itself. But such a task is close to useless -
Posted: 10 Days 7 Hours ago by: Dmitry A. KazakovBecause the task type is not composable. That is a pretty much trivial case. I am talking about things like implementation of extensible types of active objects. Which in many practical cases renders it unusable. Modern embedded sys
Posted: 10 Days 14 Hours ago by: Randy Brukardt"Dmitry A. Kazakov" <firstname.lastname@example.org> wrote in message news:email@example.com... Task objects look like a cool language feature, but use beyond the simplest patterns will get one into a load of trouble (deadlocks, err
Posted: 11 Days 5 Hours ago by: R RI finally went for the constructor function. A discriminant cannot be an array, at least that's what I understand from GNAT's error message. And I want to initialize the limited object with an array of config parameters. Thanks for all t
Posted: 11 Days 9 Hours ago by: Dmitry A. KazakovIs a task component a hack? Well so long there is no tagged task types aggregation is the only way. Controlled types are hacks, yes, but there is no alternative. You admit that all tagged types (and I would say all types) should be co
Posted: 11 Days 16 Hours ago by: Randy Brukardt"Dmitry A. Kazakov" <firstname.lastname@example.org> wrote in message news:email@example.com... Those cases that you worry are "unsafe" seem to me to only occur because of "hacks and workarounds". There's no good reason to do any of
Posted: 12 Days ago by: AdaMagicaLike any record type, you can initialize a limited record by giving default values for all components: type LRT is limited record Component: Some_Type := Default; end record; You can define an Initialize procedure: type LT is limited
Posted: 12 Days 6 Hours ago by: Dmitry A. KazakovTwo more ways are allocators and limited aggregates. There is no good way to safely initialize a limited object because Ada lacks proper constructors and because the initialization model is inherently unsafe with regard or exceptions,
Posted: 12 Days 6 Hours ago by: Jeffrey R.CarterJust as you can do S : String := "Hello"; you can do Obj : DLT := New_DLT (3, 5);
Posted: 12 Days 6 Hours ago by: R RThere are two ways (to my knowledge) how to initialize objects of limited types. Either the limited type has some discriminants type DLT (Width, Length : Positive) is tagged limited private; Obj : DLT (3, 5); or I can provide a cons
Posted: 12 Days 20 Hours ago by: Dirk Craeynest----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 26th Ada-Europe International Conference on
Posted: 12 Days 20 Hours ago by: Fernando Oleo BlancoHi everybody! Thank you all for your answers :) It seems that there is some interest to have a meeting from time to time. Other communication channels where this proposal was posted did have other people who liked the idea. For this reas
Posted: 13 Days 5 Hours ago by: hack mahantaThey will enable you to have a tremendous involvement in your life. No, one can give you a delightful and astounding erotic experience like our too capable call young ladies. https://www.wakadescorts.com/pune-call-girl/ https://www.wakades
Posted: 13 Days 6 Hours ago by: soc cultureI want too have video chat sex with a female r females
Posted: 13 Days 6 Hours ago by: soc cultureHi, I am kenerick. I am mailing to get hooked up with a woman. Hope I get a speedy reply.
Posted: 13 Days 6 Hours ago by: soc cultureI'm also 49 easy going english no smoking and just looking for a person to chat with..
Posted: 13 Days 6 Hours ago by: soc cultureI'm not looking for sex. more friendship.
Posted: 13 Days 6 Hours ago by: yhumina stirSearch for Local Single 50+ Women. Search pictures and profiles of 50+ Singles near you right now. Discover how online dating sites make finding singles in ...
Posted: 13 Days 18 Hours ago by: Randy Brukardt"reinert" <firstname.lastname@example.org> wrote in message news:email@example.com... It depends on the data type; there is a complex series of rules about what is passed in for an out parameter. The basic idea is
Posted: 14 Days 5 Hours ago by: Mohana Sany one here Im In full mood can we have a sexy talk with nude photos
Posted: 14 Days 9 Hours ago by: Stephen MerronyI agree that it's hard to find readable examples. I have a an Ada GUI program on Github using GtkAda: https://github.com/SMerrony/dashera I'm not holding up as great code, but take a look at Src/gui.adb - starting maybe woth the Create_
Posted: 15 Days 6 Hours ago by: Dmitry A. Kazakov1. Always post complete code. 2. Never call Initialize on objects created Gtk_New or equivalent. 3. GtkAda examples contains a sample code for menus.
Posted: 15 Days 8 Hours ago by: J-P. Rosen"in" is read only, so there is a difference. The difference between "in out" and "out" is not for the compiler (in this case), but for the reader: if you declare a parameter as "out", you promise that you won't use the previous value of
Posted: 15 Days 10 Hours ago by: andrew...@gmail.comhttps://codeshare.io/loqWOm
Posted: 15 Days 22 Hours ago by: Luke A. GuestOh, I suppose I'll have to attend given I have experience with those.
Posted: 15 Days 23 Hours ago by: Ada ForgeGreat ! Thanks for the tip :-) William
Posted: 15 Days 23 Hours ago by: Rod KayAgree. Count me in Fer :). If by 'OS system usage' you mean using Ada to write shell-like scripts then you may be interested in aShell. It builds on Florist to allow Ada applets to more easily call and interact with OS comman
Posted: 16 Days 2 Hours ago by: Ada ForgeNice initiative ! Take me into account ;-) Some subjects I’d love to debate with connoisseurs : * UTF8-Unicode-UCS : a lot of libraries are offering strings manipulation.. State of the art ? (Gnat extensions, GnatColl, Matreska, Gno
Posted: 16 Days 4 Hours ago by: reinertThanks for sorting out my confusion. So there is no difference between "in", "in out" and "out" for Vectors except that the compiler protests if I try to change an "in parameter" in the actual subroutine/function? reinert lørdag 30.
Posted: 16 Days 6 Hours ago by: Jeffrey R.CarterParameters in Ada are either passed by copy or passed by reference, regardless of parameter mode. The rules are * Scalar types are always passed by copy * Tagged types are always passed by reference * Limited types are always passed by
Posted: 16 Days 7 Hours ago by: reinertHello, I expected an "out" parameter in a procedure to be like declaring the parameter "from scratch" (with actual initial default value). For my compiler (GNAT Community Edition, May 2021) it seems like the out parameters brings in conten
Posted: 16 Days 11 Hours ago by: John PerryI found the answer, and it's a bit embarrassing, but looking in the gnatcoll examples would have done it: add with "gnatcoll"; to the beginning of the gpr file.
Posted: 16 Days 11 Hours ago by: Maxim ReznikI have a bot in Ada for Telegram. It is a bridge between Telegram, Jabber, IRC channel. It also checks telegram newcomers if they are not bot. I can write another one for announcements, but I'm not sure if announcing once a month worth
Posted: 16 Days 14 Hours ago by: John PerryHello I tried to build something with GnatColl from GPS Community 2021 on Fedora 35. The linker failed, saying ld: /home/cantanima/common/Ada/Quoter/obj/gnatcoll-refcount.o: in function `gnatcoll__refcount__sync_bool_compare_and_swap
Posted: 16 Days 21 Hours ago by: Stephen LeakeSounds interesting. I maintain Emacs Ada mode; this might be a good forum to get less formal feedback than the ada-mode mailing list provides, and to hear what other IDEs are doing for Ada. This sounds like a job for a bot; post the sa
Posted: 17 Days 1 Hour ago by: Stéphane RivièreGreat idea !
Posted: 17 Days 19 Hours ago by: yossep BinyoumFrom Senegal, i totaly agree with you. I give it a try
Posted: 18 Days 8 Hours ago by: Jyoti kaurhttps://jobwebrwanda.com/author/delhimodel10/ https://ifs.decidim.de/profiles/delhimodel10/activity https://decidim.cunit.cat/profiles/delhimodel10/activity?locale=es https://joyrulez.com/delhimodel10 https://olderworkers.com.au/author/jyot
Posted: 18 Days 8 Hours ago by: Jyoti kaurYou can oppose going there during your trip to Delhi. It appears to be a Lake of hurl when lighting surveys in the street kiss the waters. You can pick any of our Independent Air Hostess Escorts in Delhi to go with you to this wonderful a
Posted: 18 Days 11 Hours ago by: Tommy R232Im looking for nice girl to send me nudes, firstname.lastname@example.org
Posted: 18 Days 15 Hours ago by: Thomasisn't it possible to consider that when a child is called from within the generic parent, it must be called from an instantiation of it, and then it's not needed to re-do the instantiation within the generic parent? it could be a rule
Posted: 18 Days 21 Hours ago by: Fernando Oleo BlancoHi Christ, sorry to hear that. The webpage is a libre alternative frontend to Youtube. Here is the link to the video in Youtube itself https://www.youtube.com/watch?v=8-_ll4f0gN8 As you can see the URI (I believe that is the technical t
Posted: 19 Days 2 Hours ago by: Ken BurtchSparForte is my Ada-based shell, scripting language and template engine. Version 2.5 is available from www.sparforte.com. Changes since 2.4: New features/examples: 23 Changes: 8 Fixes: 26 Known Issues On Raspian Bulls
Posted: 19 Days 3 Hours ago by: Anton F.I would participate, this is a great idea!
Posted: 19 Days 5 Hours ago by: Maxim ReznikI would give it a try!
Posted: 19 Days 6 Hours ago by: AdaMagicaGefährliche Webseite blockiert Zugriffsversuch auf: https://invidious-us.kavin.rocks/watch?v=8-_ll4f0gN8 Dies ist eine bekannte gefährliche Webseite. Es wird ausdrücklich empfohlen, diese Seite NICHT aufzurufen. Dangerous website block
Posted: 19 Days 19 Hours ago by: Fernando Oleo Blanco* Ada Monthly meeting A lot of programming languages and libraries have meetings/meetups which allow the community to come together and have a chat, share ideas, proposals and better utilise and prioritise resources. I would like
Posted: 22 Days 16 Hours ago by: Thomashi :-) it seems that, when i add several widgets that overlap in a Gtk_Fixed, if some of them are Gtk_Event_Box, they are always at the foreground of those that are not (for example Gtk_Button), even when they are added before. (I have
Posted: 23 Days 6 Hours ago by: 姚飞在 2021年12月27日星期一 UTC+8 08:37:03，<Paul Rubin> 写道： MAS31750 + XGC M1750-Ada is a very wonderful combine, we use them for several large satellite, and they are working on orbit now.
Posted: 24 Days 8 Hours ago by: Randy Brukardt"Stephen Leake" <email@example.com> wrote in message news:firstname.lastname@example.org... The diff program I use can scroll sideways if necessary, and so can every editor I've used since 1985, so this isn't generally an i
Posted: 24 Days 16 Hours ago by: Stephen LeakeI prefer top/bottom diff, partly for this reason. But my monitor can easily display 240 characters across. And I have good glasses. --
Posted: 24 Days 16 Hours ago by: Stephen Leake120 chars; I assume readers have a big display like mine. --
Posted: 24 Days 21 Hours ago by: Nathan CopelinI need tight ass!!!
Posted: 25 Days 11 Hours ago by: Brijesh Kumarhttps://sexypuneescorts.com/
Posted: 26 Days 6 Hours ago by: Jelle HermsenIt works great. Thanks for all your hard work packaging Gnat for M1!
Posted: 26 Days 19 Hours ago by: Dmitry A. Kazakov72. I used to program in FORTRAN on punched cards. (:-)) These days I use 3 split GPS windows side by side. Then I am using the "use" clause, so I do not need a thousand of characters to just write Z := X + Y; (:-)) Refactor the cod
Posted: 26 Days 20 Hours ago by: Jeffrey R.CarterI use the Preferences menu selection in my editor. But that's probably not what you intended to ask. I set mine to 132 characters. When I started out, source lines were limited to 80 columns because that was the length of punched card
Posted: 27 Days 9 Hours ago by: Niklas HolstiI limit lines to 80 characters, because I very often want to use a side-by-side diff of file versions, which means having a window wider than two line-lengths. Text in a 170-character-wide window is still readable, but wider ones are
Posted: 27 Days 9 Hours ago by: Randy Brukardt"Thomas" <fantome.forums.tDeContes@free.fr.invalid> wrote in message news:email@example.com... No, I was thinking more about typical ADTs (abstract data types), which usually come with most of their operations in a
Posted: 27 Days 12 Hours ago by: Thomasare you speaking about a case like Ada.Text_IO.Unbounded_IO? i would say that these subprograms are not primitives, since they are not declared in the same package, and i don't see in which case we could get a type visible but not its
Posted: 27 Days 17 Hours ago by: Thomashi :-) how do you set your max line length? using indentations a lot, i find that 80 is short. but I don't realize how many people I'm going to disturb if I set a greater length, because I don't know all your uses.
Posted: 27 Days 23 Hours ago by: ReneDon't forget the curly brackets.
Posted: 28 Days 8 Hours ago by: Sakshi Mahajanhttps://cliqafriq.com/read-blog/215911_escort-service-in-jaipur-for-outcall-at-affordable-rates.html
Posted: 28 Days 9 Hours ago by: Niklas HolstiHe is Tucker Taft, one of the designers and maintainers of the Ada language. An "AI" is an "Ada Issue", an entry in discussions about Ada features and the Ada standard. The AIs are collected in a public, searchable database at http://
Posted: 28 Days 10 Hours ago by: Thomaswho is Tucker, and where can i read him, please? :-) i feel that: 1) afaik, non-pool-specific access-to-variable types, which should point on aliased objects, are not dangerous, as long as neither new nor Unchecked_Deallocation are
Posted: 28 Days 14 Hours ago by: Thomasi like "the nice wide-spectrum nature of Ada" :-) If I got it right, it is the thickness*, that is, it goes both far in low level and far in high level. * Natacha Porte, https://www.youtube.com/watch?vµlRyBRk0d8&tC0s (during 1:10 - s
Posted: 29 Days 5 Hours ago by: Gautier write-only aHello, There is a new release of GID - the Generic Image Decoder. Home page: http://gen-img-dec.sf.net/ Project page #1: http://sf.net/projects/gen-img-dec/ Project page #2: https://github.com/zertovitch/gid New in V.10 ==========* A
99 recent articles found.