search

Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions
BSD 3-Clause "New" or "Revised" License
373 stars 25 forks source link

Prelude/(/=) is broken #80

Closed ghost closed 6 years ago

ghost commented 6 years ago

It is being parsed as Prelude/'('/'=)' rather than as Prelude/'(/=)'.

The same is true at http://sigil.place/tutorial/morte/1.2

Gabriella439 commented 6 years ago

@tswijk: Before you get deeper into this, you might want to first check out Dhall, which is the successor to Morte: https://github.com/dhall-lang/dhall-lang

Dhall has a built-in != operator

ghost commented 6 years ago

Thanks, but I'm happy working with Morte for now.

I can make a pull request fixing this issue in this repository, but I don't know how to fix it at sigil.place. Would you like the pull request anyway?

Gabriella439 commented 6 years ago

@tswijk: sigil.place is a machine that I manually maintain so if you update the Prelude directory I can mirror it there

Yeah, I'd still appreciate the pull request

ghost commented 6 years ago

I'm stuck. It seems that / isn't a valid character in file names on Windows, macOS or Linux.

Maybe we want to replace (/=) with (!=) in the Morte Prelude?

Gabriella439 commented 6 years ago

@tswijk: Yeah, renaming it to != would be fine, too