i expect line 35 to fail at compile time but it do...
# announcementsn
nfrankel
10/29/2018, 6:52 PMi expect line 35 to fail at compile time but it doesn’t... 😞
h
hho
10/29/2018, 6:53 PMYou mean line 33?
hho
10/29/2018, 6:53 PM35 is the last }
n
nfrankel
10/29/2018, 6:54 PMi mean line 35 because the
companyk
karelpeeters
10/29/2018, 6:54 PMAh no, the compiler doesn't do any verification like that.
karelpeeters
10/29/2018, 6:55 PMThere's a line in the KEEP about that, let me go hunt it down.
n
nfrankel
10/29/2018, 6:55 PMoh, did i misunderstand that?
k
karelpeeters
10/29/2018, 6:55 PMd
dsavvinov
10/29/2018, 6:56 PMSorry, I'm not sure I'm following your example. Why exactly line 35 should fail at compile time?
h
hho
10/29/2018, 6:56 PMI think it works the other way around: You assure the compiler that you will only call it once. The compiler then accepts it e.g. when setting a val.
☝️ 2
n
nfrankel
10/29/2018, 6:58 PM@karelpeeters @hho thanks for the clarification
i totally misunderstood then
z
zsmb
10/29/2018, 6:59 PMIt will supposedly be checked and enforced at some point in the future, but for now, it's our responsibility to keep our word about contracts
k
karelpeeters
10/29/2018, 7:00 PMI doubt the "enforced" part, there's this halting problem...
z
zsmb
10/29/2018, 7:01 PMWell, yes, for obvious cases at least 🙂
d
dsavvinov
10/29/2018, 7:01 PMWell, it depends on what you're trying to enforce... 🙂
n
nfrankel
10/29/2018, 7:01 PMin my case, i’d like to prevent calling the
companyd
dsavvinov
10/29/2018, 7:03 PMYeah, I got your example @nfrankel -- missed the
AT_MOST_ONCE👍 2
k
karelpeeters
10/29/2018, 7:03 PMYou can take a
Companyn
nfrankel
10/29/2018, 7:04 PM@dsavvinov that would be great
nfrankel
10/29/2018, 7:05 PM@karelpeeters that wouldn’t work with a real-world example
i’d like to have a full-fledged model in the dsl
2 Views