Looks good.
This should indeed compile the wrappers.
Can you add -v to the compiler options. Hopefully we can see a bit more
then.
Oh, and make sure the destination directory src/frege is empty before you
run it.
--
You received this message because you are subscribed to the Google Groups
Please see
here https://github.com/Frege/eclipse-plugin/wiki/fregIDE-Tutorial
Heading "Usage" towards the end.
I quote the relevant passage:
- To run your program from within Eclipse, create a *Run Configuration* of
type *Java Application*. The name of the main class is the module name
>
>
> Is the problem that my function under test is Integer → Integer not Int
> → Int or Int → Integer
>
Hardly, as the "function under test" needs to result in a Bool.
Do you have an example?
--
You received this message because you are subscribed to the Google Groups
"Frege Programming
The message tells me, that in the command gradle runs for
"fregeCompilation", there is obviously no frege compiler in the classpath.
And now I wonder what command it actually did run.
--
You received this message because you are subscribed to the Google Groups
"Frege Programming Language"
By the way, you really don't need a separate build for those wrapper
modules.
Just include the directory where they are living in the sourcepath, and
then compile your own files with the -make option.
The frege compiler will then compile the modules you really need (that is,
import directly or
FregeAndroid/src
find . -type f -name '*.fr' -exec egrep 'module|package' {} /dev/null ';'
Am Freitag, 23. September 2016 10:32:28 UTC+2 schrieb Patrick Pelletier:
>
> On 9/23/16 1:06 AM, Ingo W. wrote:
> > Just include the directory where they are living in the sourcepath,
> > and
Hi Mark,
I'd be happy to do it. Just post me the 2 commands.
Regards, Ingo
--
You received this message because you are subscribed to the Google Groups
"Frege Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
Hello friends,
as of recently, the Frege compiler with the -make option not only discovers
the Frege dependencies, but also the Java classes that must be present
prior compilation of a Frege module.
This solves (so I hope) a long standing problem: In a mixed Frege-Java
project we have 3 kinds
Small correction here:
Am Montag, 29. Januar 2018 14:41:24 UTC+1 schrieb zcourts:
>
> Given the clear difference between the submission and later execution of
> the expressions, I'm wondering if it's feasible to use the Frege compiler
> to actually generate code and keep reference to the
Yes, it should be quite similar.
It is very difficult to interpret that stack trace from a distance, so I
can't comment here.
Am Donnerstag, 25. Januar 2018 06:54:09 UTC+1 schrieb zhou6...@163.com:
>
> At last I give up and learn to use NanoParsec
>
> 在 2018年1月24日星期三
Thank you for your nice words, I shall be happy if Frege helps you with
your work.
Am Sonntag, 28. Januar 2018 05:25:17 UTC+1 schrieb zhou6...@163.com:
>
> Thank you inventing Frege, absolutely life saver when I program BLE smart
> card reader on Android. I feel great confidence when I deal
Hi Vishal, be Welcome!
all we have should be reachable from the GitHub page. Some of it may be a
bit outdated, but hopefully still useful.
Do you already know Haskell? If not, I'd start from there.
Best Regards, Ingo
Am Mittwoch, 5. September 2018 21:05:06 UTC+2 schrieb vishal parashar:
>
>
>
Hi Alex,
please try
... (b extends PropertyState)
instead of b. Also, maybe just PropertyState will do the job as well?
If so, I would prefer the latter.
The automatic conversion of return values to lists is not supported anymore
(and did work for arrays only, if I remember correctly).
> >lazy(Lazy>) of type Thunk
> is not applicable for the arguments
> (Iterable)
> Option 2 was actually what I wanted to attach to my original email, but I
> had a copy/pasta error in frege my code snippet (tried too many things I
> guess).
>
> best,
> alex
&g
Hi Alex,
please give me a bit of time. I've been travelling last week for business,
and will also be travelling next week. I've no idea whether I can make it
over the weekend, so but I won't forget it.
Best regards, Ingo
Am Dienstag, 23. Oktober 2018 08:47:40 UTC+2 schrieb Alex Deparvu:
15 matches
Mail list logo
