logs archiveBotHelp.net / Freenode / #ada / 2015 / August / 16 / 1
oliver117
http://slexy.org/view/s2yNi0Zs8E ... srsly?
Shark8
oliver117: What'd you do to get an error-box? ...and what did *they* do to raise a Storage_Error?
oliver117
don't know what tehy are doing
I do gnatcheck on s-stoele.ads
i get several of these actually
2x storage_error and 2xprogram_error
amateurs, lol
egilhh
antranigv: downward closures
OCTAGRAM
Dhark8: how is AIR different from gnatxml?
Shark8
OCTAGRAM: Do you mean Gnat's XMl/Ada library?
oliver117: (re: amatures) -- I think that one of the nice things we could when/if we do a community built/driven compiler, we could use SPARK in as many modules as possible and prove it correct... that would be a big plus, IMO, as we could then have our tools checking the correctness of our tools.
oliver117
won't happen
Shark8
oliver117: Why not?
OCTAGRAM
Shark8: I can see gnatxml and xmlgnat tools, I don't know what they use
Shark8
OCTAGRAM: Do you have a link for gnatxml?
... and xmlgnat tools?
OCTAGRAM
http://www.adacore.com/labs/gnat-pro-72/ http://www.drdobbs.com/tools/adacore-flies-gnat-pro-72/240166437
Shark8
Hm, I see.
For one, AIR doesn't use XML (though you could write an xml/AIR converter) -- but the underlying idea (having an exposed, manipulable AST) is essentially the same, going by this http://sireum.github.io/doc/bakar/
OCTAGRAM: Also, it looks like the gnat2xml is based on ASIS, which has subtly differences from DIANA (upon which AIR is based) -- see: http://archive.adaic.com/work-grp/asiswg/asis/v2.0/asis_cd3.txt (D.2.2)
OCTAGRAM: Also, ASIS is "an interface between an Ada environment and any tool or application requiring information from it" -- as per ASIS FAQ: http://www.sigada.org/WG/asiswg/ASIS_FAQ.html -- which is different than being an intermediate representation between ends [and possibly tools] that DIANA was.
OCTAGRAM: Welcome back.
Visaoni
Shark8: did you get into some of the questions sparre asked about, basically, why AIR?
Shark8
No; I didn't see any of his questions in my backlog. (Would you happen to have them?)
Visaoni
Shark8: I can probably dig them up if need be, but the gist of it was why use something like AIR? you basically need a compiler front-end to generate it, and then no compilers can use it so you'll also need to be able to go back the other way too
what benefits do you get from it that justify all that?
apologies to sparre if my memory represented him too poorly :)
Shark8
Those are good points; while AIR isn't used by any compilers (because it rightly doesn't yet exist), I /am/ hoping that compilers *will* use it... and having something like SCALP-M already using it does give a reason to use it internally on future compilers.
We don't want to store it as simple text because (a) then we have to track non-meaningful changes [like spaces-to-tabs, or line-endings], (b) because tracking dependencies then becomes completely external [essentially you have to compile it to see if it'll work], and (c) there is no guarantee that TEXT is compilable Ada source.
Also, WRT (b) there's no way to tell if Dependency A [next version] breaks the interface. (ie no way to tell if you could separately compile the bodies and "silently" update all [subsequent] clients.)
Visaoni
you know
you're an ambitious dude :)
I suppose it's easier if you check for any AST changes in a subprogram and automatically flag it as a potential problem but still
Shark8
:) -- Thank you.
charlie5
coding by candlelight
... how romantic
(Action) lacks an appropriate emoticon
Visaoni
candlelight?
are you using punchcards again?
charlie5
?! ... they have something newer than punchcards now ?
Visaoni
um... no... ?
of course not?
charlie5
(Action) makes note on abacus to updgrade h/w
Visaoni
why are you writing on your poor abacus?
and come on man, get a sliderule!
I hear all the cool kids wear them these days
charlie5
:)
don't laugh
sliderules were fashionable when i was 10
Visaoni
just 10? you might not be as old as I thought
charlie5
and just how old was that ?!? ... :)
Visaoni
oh, right. au
that explains a lot
I was going to say old enough to sit around with irish coffee all day every day
I don't know why I've made you constantly slightly drunk in my mind, but I have
I love documentation that reads "@param a_thing A thing."
wonderful, thanks...
charlie5
:)
it's probly the rot i usually talk
the candlelight bit above was in honour of me sitting here in the virtual dark, using candles to light the k/b, due to faulty house wiring
(Action) knows how the mediaveal monks must have felt
... well, less the diseases, of course
Visaoni
I don't thinkt that actually answers any questions
charlie5
(Action) hadn't realised any answers were pending ....
Visaoni
your screen does not light the keyboard? you need to see the keyboard? your computer (admittedly, easily a laptop) and networking equipment is running w/out house power?
charlie5
the other end of the house if on a diff circuit
so i have run a power extension cord the length of the house
and am using candles for 'room light'
esp for the k/b
yes, the screen does light it a bit
but not enuff
you still haven;t said how old you thought i was
:)
if -> is
(Action) prepares to be offended
Visaoni
ah, yes
long day :)
although I don't know how many places I've seen around here with multiple circuits. at least ones that wouldn't fry a router or modem
(Action) really has no idea. just older :P
charlie5
lol
let's just leave it at that, eh ? ... :)
this is an oldish place
40 years or more i guess
and i guess the wiring is that old too
+ we have parrots nesting in roof playing merry hell with wiring
Visaoni
parrots?
you have pest parrots?
charlie5
they are pests when they chew your wires, blow the fuses and make you sit in the gloom
actually, they are native .au parrots, and i would be happy to let them be
... but you can only imagine the cost of candles
Visaoni
do they do this often?
charlie5
this time, every year, like clockwork
and yes, the owners know
owners/landlords
Visaoni
maybe you could try a lantern
charlie5
(Action) is a renting pauper
have you seen the cost of lantern oil ?!
:)
Visaoni
(Action) has not been in hte lantern market recently
so, um, no...
« prev 1 2 3 next »