kwarc / gf_kernel Goto Github PK

first, in the README "direct pip" install should be described first

When I did that, I get

... graphviz 2.40.1 is already installed and up-to-date
MiKo:~ kohlhase$ which gf
/usr/local/bin/gf
MiKo:~ kohlhase$ pip install gf-kernel
DEPRECATION: Python 2.7 will reach the end of its life on January 1st, 2020. Please upgrade your Python as Python 2.7 won't be maintained after that date. A future version of pip will drop support for Python 2.7.
Collecting gf-kernel
  Downloading https://files.pythonhosted.org/packages/26/29/f221fa1da96bbd93180fed121f83e02230a579b12b48433d2bdf3e63fe1b/gf_kernel-1.0.0.tar.gz
    Complete output from command python setup.py egg_info:
    Traceback (most recent call last):
      File "<string>", line 1, in <module>
      File "/private/var/folders/9d/vk8_ls9d0_v0_bb4g7ncx90c0000gn/T/pip-install-S5rNLV/gf-kernel/setup.py", line 6, in <module>
        with open(path.join(this_directory, 'README.md'), encoding='utf-8') as f:
    TypeError: 'encoding' is an invalid keyword argument for this function
    
    ----------------------------------------
Command "python setup.py egg_info" failed with error code 1 in /private/var/folders/9d/vk8_ls9d0_v0_bb4g7ncx90c0000gn/T/pip-install-S5rNLV/gf-kernel/

I have python3 installed.

Hello,
This is my concrete grammar:
concrete Test111 of Test11 = {
lincat
Predicate = Str;
Expr = Str ;

lin
Not e1 = "not " ++ e1 ;
Element e1 e2 = e1 ++("is "|"is an element of "|" ∈ ") ++ e2 ;
Eq e1 e2 = e1 ++ (" is "|" = ") ++ e2 ;
Neq e1 e2 = e1 ++ " is not equal to " ++ e2 ;
Nelement e1 e2 = e1 ++ " is not an element of " ++ e2 ;
Gt e1 e2 = e1 ++ (" is greater than "| " > ") ++ e2;
Lt e1 e2 = e1 ++ (" is less than "|" < ") ++ e2;
Pair e1 e2 = "a pair with " ++ e1 ++ "and " ++ e2;
Relation e1 e2 = "a relation between " ++ e1 ++ " and " ++ e2 ;
TotalFunction e1 e2 = "a total function from " ++ e1 ++ "to " ++ e2;
PartialInject e1 e2 = "a partial injection"++" from " ++ e1 ++ "to " ++ e2|e1++" ⤔"++e2;
TotalSurj e1 e2 = "a total surjection from " ++ e1 ++ " to " ++ e2 ;
CartesianProd e1 e2 = "a cartesian product of " ++ e1 ++ "and " ++ e2|e1 ++" × "++e2;
Union e1 e2 = "a union of the sets " ++ e1 ++ "and " ++ e2;
DirectProd e1 e2 = "a direct product of " ++ e1 ++ "and " ++ e2 | e1 ++ "⊗" ++e2 ;
Interval e1 e2 = "between " ++ e1 ++ "and " ++ e2 ;
Add e1 e2 = e1 ++ (" plus " | " + ") ++ e2;
Sub e1 e2 = e1 ++ " - " ++ e2 ;
Mul e1 e2 = e1 ++ " * " ++ e2 ;
Neg e = "negation of " ++ e ;
Ident e1 = e1.s ;
IntegerLiteral e1 = e1.s ;
Expr2Pred t = t ;

}
For the inputs like : p -lang=1 "b + c" | l -treebank or p -lang=1 "b < c" | l -treebank, p -lang=1 "b = c" | l -treebank... I can get the correct output.
But for the inputs with the specific operators like : p -lang=1 "b ⊗ c" | l -treebank or p -lang=1 "b ⤔ c" | l -treebank, p -lang=1 "b ∈ c" | l -treebank... my code in Jupyter keeps running with no output.

Any idea how I can fix this issue?

The GF kernel does not seem to work with new versions of jupyter notebook.

Traceback (most recent call last):
  File "/home/jfs/.local/lib/python3.10/site-packages/ipykernel/kernelbase.py", line 457, in dispatch_queue
    await self.process_one()
  File "/home/jfs/.local/lib/python3.10/site-packages/ipykernel/kernelbase.py", line 446, in process_one
    await dispatch(*args)
  File "/home/jfs/.local/lib/python3.10/site-packages/ipykernel/kernelbase.py", line 318, in dispatch_shell
    self.set_parent(idents, msg, channel='shell')
TypeError: GFKernel.set_parent() got an unexpected keyword argument 'channel'

Hello everyone!
I installed gf-kernel. when I open a new gf file in Jupyter Notebook and want to run my code I receive this error: 'A connection to the notebook server could not be established. The notebook will continue trying to reconnect. Check your network connection or notebook server configuration'.
In the following I added the generated output in cmd:

[W 10:13:49.784 NotebookApp] 404 GET /static/components/jquery-ui/themes/smoothness/jquery-ui.min.css (::1) 33.000000ms referer=http://localhost:8888/tree?token=a3fca7fca7d90a5877f0292569f8beac8b62a763b31bc809
[I 10:14:10.151 NotebookApp] Creating new notebook in /anaconda3/Projects
[W 10:14:13.392 NotebookApp] 404 GET /static/components/jquery-ui/themes/smoothness/jquery-ui.min.css (::1) 2.000000ms referer=http://localhost:8888/notebooks/anaconda3/Projects/Untitled5.ipynb?kernel_name=gf
[I 10:14:14.411 NotebookApp] Kernel started: 7a18ddfe-2fdf-4403-8763-8331f8457714, name: gf
Traceback (most recent call last):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 87, in run_code
exec(code, run_globals)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel_main.py", line 4, in
IPKernelApp.launch_instance(kernel_class=GFKernel)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 977, in launch_instance
app.initialize(argv)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 110, in inner
return method(app, *args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 681, in initialize
self.init_kernel()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 528, in init_kernel
kernel = kernel_factory(
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\kernel.py", line 78, in init
self.GFRepl = GFRepl()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\GFRepl.py", line 22, in init
self.gf_shell = Popen((find_executable('gf'), '--run'),
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 1251, in _execute_child
args = list2cmdline(args)
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 553, in list2cmdline
for arg in map(os.fsdecode, seq):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\os.py", line 818, in fsdecode
filename = fspath(filename) # Does type-checking of filename.
TypeError: expected str, bytes or os.PathLike object, not NoneType
[I 10:14:17.413 NotebookApp] KernelRestarter: restarting kernel (1/5), new random ports
Traceback (most recent call last):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 87, in run_code
exec(code, run_globals)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel_main.py", line 4, in
IPKernelApp.launch_instance(kernel_class=GFKernel)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 977, in launch_instance
app.initialize(argv)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 110, in inner
return method(app, *args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 681, in initialize
self.init_kernel()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 528, in init_kernel
kernel = kernel_factory(
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\kernel.py", line 78, in init
self.GFRepl = GFRepl()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\GFRepl.py", line 22, in init
self.gf_shell = Popen((find_executable('gf'), '--run'),
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 1251, in _execute_child
args = list2cmdline(args)
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 553, in list2cmdline
for arg in map(os.fsdecode, seq):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\os.py", line 818, in fsdecode
filename = fspath(filename) # Does type-checking of filename.
TypeError: expected str, bytes or os.PathLike object, not NoneType
[I 10:14:20.520 NotebookApp] KernelRestarter: restarting kernel (2/5), new random ports
Traceback (most recent call last):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 87, in run_code
exec(code, run_globals)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel_main.py", line 4, in
IPKernelApp.launch_instance(kernel_class=GFKernel)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 977, in launch_instance
app.initialize(argv)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 110, in inner
return method(app, *args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 681, in initialize
self.init_kernel()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 528, in init_kernel
kernel = kernel_factory(
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\kernel.py", line 78, in init
self.GFRepl = GFRepl()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\GFRepl.py", line 22, in init
self.gf_shell = Popen((find_executable('gf'), '--run'),
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 1251, in _execute_child
args = list2cmdline(args)
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 553, in list2cmdline
for arg in map(os.fsdecode, seq):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\os.py", line 818, in fsdecode
filename = fspath(filename) # Does type-checking of filename.
TypeError: expected str, bytes or os.PathLike object, not NoneType
[I 10:14:23.627 NotebookApp] KernelRestarter: restarting kernel (3/5), new random ports
Traceback (most recent call last):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 87, in run_code
exec(code, run_globals)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel_main.py", line 4, in
IPKernelApp.launch_instance(kernel_class=GFKernel)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 977, in launch_instance
app.initialize(argv)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 110, in inner
return method(app, *args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 681, in initialize
self.init_kernel()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 528, in init_kernel
kernel = kernel_factory(
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\kernel.py", line 78, in init
self.GFRepl = GFRepl()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\GFRepl.py", line 22, in init
self.gf_shell = Popen((find_executable('gf'), '--run'),
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 1251, in _execute_child
args = list2cmdline(args)
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 553, in list2cmdline
for arg in map(os.fsdecode, seq):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\os.py", line 818, in fsdecode
filename = fspath(filename) # Does type-checking of filename.
TypeError: expected str, bytes or os.PathLike object, not NoneType
[I 10:14:26.713 NotebookApp] KernelRestarter: restarting kernel (4/5), new random ports
Traceback (most recent call last):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 87, in run_code
exec(code, run_globals)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel_main.py", line 4, in
IPKernelApp.launch_instance(kernel_class=GFKernel)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 977, in launch_instance
app.initialize(argv)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 110, in inner
return method(app, *args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 681, in initialize
self.init_kernel()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 528, in init_kernel
kernel = kernel_factory(
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\kernel.py", line 78, in init
self.GFRepl = GFRepl()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\GFRepl.py", line 22, in init
self.gf_shell = Popen((find_executable('gf'), '--run'),
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 1251, in _execute_child
args = list2cmdline(args)
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 553, in list2cmdline
for arg in map(os.fsdecode, seq):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\os.py", line 818, in fsdecode
filename = fspath(filename) # Does type-checking of filename.
TypeError: expected str, bytes or os.PathLike object, not NoneType
[I 10:14:29.839 NotebookApp] KernelRestarter: restarting kernel (5/5), new random ports
Traceback (most recent call last):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\runpy.py", line 87, in run_code
exec(code, run_globals)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel_main.py", line 4, in
IPKernelApp.launch_instance(kernel_class=GFKernel)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 977, in launch_instance
app.initialize(argv)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\application.py", line 110, in inner
return method(app, *args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 681, in initialize
self.init_kernel()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\ipykernel\kernelapp.py", line 528, in init_kernel
kernel = kernel_factory(
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\traitlets\config\configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\kernel.py", line 78, in init
self.GFRepl = GFRepl()
File "C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\gf_kernel\GFRepl.py", line 22, in init
self.gf_shell = Popen((find_executable('gf'), '--run'),
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 1251, in execute_child
args = list2cmdline(args)
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\subprocess.py", line 553, in list2cmdline
for arg in map(os.fsdecode, seq):
File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.8_3.8.2800.0_x64__qbz5n2kfra8p0\lib\os.py", line 818, in fsdecode
filename = fspath(filename) # Does type-checking of filename.
TypeError: expected str, bytes or os.PathLike object, not NoneType
[W 10:14:32.969 NotebookApp] KernelRestarter: restart failed
[W 10:14:32.970 NotebookApp] Kernel 7a18ddfe-2fdf-4403-8763-8331f8457714 died, removing from map.
[W 10:15:14.426 NotebookApp] Timeout waiting for kernel_info reply from 7a18ddfe-2fdf-4403-8763-8331f8457714
[E 10:15:14.432 NotebookApp] Error opening stream: HTTP 404: Not Found (Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714)
[W 10:15:15.510 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:15:15.518 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 17.000000ms referer=None
[W 10:15:17.544 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:15:17.548 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 8.000000ms referer=None
[W 10:15:21.598 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:15:21.601 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 5.990000ms referer=None
[W 10:15:29.610 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:15:29.613 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 6.010000ms referer=None
[W 10:15:45.641 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:15:45.644 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 5.000000ms referer=None
[I 10:16:14.568 NotebookApp] Saving file at /anaconda3/Projects/Untitled5.ipynb
C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\nbformat_init.py:129: MissingIDFieldWarning: Code cell is missing an id field, this will become a hard error in future nbformat versions. You may want to use normalize() on your notebooks before validations (available since nbformat 5.1.4). Previous versions of nbformat are fixing this issue transparently, and will stop doing so in the future.
validate(nb)
C:\Users\fatemeh\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.8_qbz5n2kfra8p0\LocalCache\local-packages\Python38\site-packages\notebook\services\contents\manager.py:353: MissingIDFieldWarning: Code cell is missing an id field, this will become a hard error in future nbformat versions. You may want to use normalize() on your notebooks before validations (available since nbformat 5.1.4). Previous versions of nbformat are fixing this issue transparently, and will stop doing so in the future.
validate_nb(model['content'])
[W 10:16:18.551 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:16:18.554 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 4.000000ms referer=None
[W 10:17:23.571 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:17:23.573 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 5.020000ms referer=None
[W 10:22:12.377 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:22:12.379 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 3.000000ms referer=None
[W 10:22:19.396 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1): Kernel does not exist: 7a18ddfe-2fdf-4403-8763-8331f8457714
[W 10:22:19.399 NotebookApp] 404 GET /api/kernels/7a18ddfe-2fdf-4403-8763-8331f8457714/channels?session_id=55f8fcc618ed492bb40ebf13bfa98cb0 (::1) 5.000000ms referer=None
[I 10:24:14.039 NotebookApp] Saving file at /anaconda3/Projects/Untitled5.ipynb

There seems to be a bug in the export command:
When I try to export an abstract grammar, a concrete grammar gets exported instead.

Example input:

abstract Test = {

}

concrete TestCon of Test = {
    
}

export Test

which results in the file TestCon.gf being created (instead of Test.gf).