glenbraun / jsonpi Goto Github PK
View Code? Open in Web Editor NEWA pi calculus interpreter
License: MIT License
A pi calculus interpreter
License: MIT License
Hi Glenn,
this is Andreas we meet at the recent RChain conference.
Using MonoDevelop (Linux .NET IDE)
http://www.monodevelop.com/download/#fndtn-download-lin
and the .NET SDK Linux Version, I was able to import your project and start the JsonPi part, I guess. I then got a Interpreter Shell (Run>)
I tried then to execute this(was this a mistake?)
world; | world(message);
Run> x<a,b,c>
Unhandled Exception: System.Exception: parse error
at Microsoft.FSharp.Text.Parsing.Implementation.popStackUntilErrorShifted@278[tok,a](Tables1 tables, LexBuffer
1 lexbuf, Stack1 stateStack, Stack
1 valueStack, AssocTable actionTable, FSharpOption1 tokenOpt) in /home/ascheinert/JsonPi/FsLexYacc.Runtime/Parsing.fs:line 283 at Microsoft.FSharp.Text.Parsing.Implementation.interpret[tok,a](Tables
1 tables, FSharpFunc2 lexer, LexBuffer
1 lexbuf, Int32 initialState) in /home/ascheinert/JsonPi/FsLexYacc.Runtime/Parsing.fs:line 485
at JsonPiRepl.main(String[] argv) in /home/ascheinert/JsonPi/JsonPiREPL/Program.fs:line 15
bash: Zeile 1: 16265 Abgebrochen (Speicherabzug geschrieben) /usr/share/dotnet/dotnet "/home/ascheinert/JsonPi/JsonPiREPL/bin/Release/netcoreapp2.0/JsonPiREPL.dll"
Press any key to continue..
=====>
What kind of commands does the REPL handle currently?
Anyway I just wanted to say that Mono and the .NET SDK for Linux are a good start to get started on Linux. I'm really looking forward to use the REPL in the coming sessions.
regards Andreas
I believe it should be:
dotnet build -c Release -r ubuntu.16.04-x64
but is currently listed without the build
command:
dotnet -c Release -r ubuntu.16.04-x64
Several of the commands (like :run
etc) crash the REPL for me. I built the REPL according to the instructions in the README, and run on debian 9.
Always working:
:h
, :help
,
Always broken:
:q
, :quit
, :reset
Complicated:
:m
, :multi
, :s
, :step
, :r
, and :run
will all execute fine the first time I issue them. But if I issue them a second time, or issue a second one of them, the REPL crashes.
:l
, and :list
seem to be straight-up intermittent
The trace (for :q
) is:
Run> :q
Unhandled Exception:
System.Exception: parse error
at Microsoft.FSharp.Text.Parsing.Implementation.popStackUntilErrorShifted@278[tok,a] (Microsoft.FSharp.Text.Parsing.Tables`1[tok] tables, Microsoft.FSharp.Text.Lexing.LexBuffer`1[char] lexbuf, Microsoft.FSharp.Text.Parsing.Stack`1[a] stateStack, Microsoft.FSharp.Text.Parsing.Stack`1[a] valueStack, Microsoft.FSharp.Text.Parsing.Implementation+AssocTable actionTable, Microsoft.FSharp.Core.FSharpOption`1[T] tokenOpt) [0x000b3] in <5ae39741b0dad8caa74503834197e35a>:0
at Microsoft.FSharp.Text.Parsing.Implementation.interpret[tok,a] (Microsoft.FSharp.Text.Parsing.Tables`1[tok] tables, Microsoft.FSharp.Core.FSharpFunc`2[T,TResult] lexer, Microsoft.FSharp.Text.Lexing.LexBuffer`1[char] lexbuf, System.Int32 initialState) [0x00538] in <5ae39741b0dad8caa74503834197e35a>:0
at JsonPiRepl.main (System.String[] argv) [0x0001b] in <5ae3991ac91cf2afa74503831a99e35a>:0
[ERROR] FATAL UNHANDLED EXCEPTION: System.Exception: parse error
at Microsoft.FSharp.Text.Parsing.Implementation.popStackUntilErrorShifted@278[tok,a] (Microsoft.FSharp.Text.Parsing.Tables`1[tok] tables, Microsoft.FSharp.Text.Lexing.LexBuffer`1[char] lexbuf, Microsoft.FSharp.Text.Parsing.Stack`1[a] stateStack, Microsoft.FSharp.Text.Parsing.Stack`1[a] valueStack, Microsoft.FSharp.Text.Parsing.Implementation+AssocTable actionTable, Microsoft.FSharp.Core.FSharpOption`1[T] tokenOpt) [0x000b3] in <5ae39741b0dad8caa74503834197e35a>:0
at Microsoft.FSharp.Text.Parsing.Implementation.interpret[tok,a] (Microsoft.FSharp.Text.Parsing.Tables`1[tok] tables, Microsoft.FSharp.Core.FSharpFunc`2[T,TResult] lexer, Microsoft.FSharp.Text.Lexing.LexBuffer`1[char] lexbuf, System.Int32 initialState) [0x00538] in <5ae39741b0dad8caa74503834197e35a>:0
at JsonPiRepl.main (System.String[] argv) [0x0001b] in <5ae3991ac91cf2afa74503831a99e35a>:0
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.