owo-lang / owo Goto Github PK

Just as Agda's little trick.

Please check the most difficult project I've finished in github:
https://github.com/thautwarm/reFining/blob/master/DotNet/reFining/reFining/infr.fs

I can solve the problem you ask in QQ recently about value restrictions.

The tests indicates something meaningful:
https://github.com/thautwarm/reFining/blob/master/DotNet/reFining/test/Tests.fs

Above project is side-effect free, so I think I might get along with Haskell as well.
May I take part in this project to work with the type checkers?

Candidates:

• stylelish-haskell
• hindent
• brittany
• hfmt

Phew I'm just a goddamn Haskell newbie, hoowee. The verbosity of --dump-tokens option should be added for more convenient testing, e.g. a full verbosity (token type, token value, location) and a simple one (only token type and value).

• The interface options are:
  • --dump-tokens=full or --dump-tokens=simple
  • -S for simple, -SS for full
  • --dump-tokens for full, --dump-hide-pos for simple (this is originated from @ice1000, but I thought there could be conflicts here)

The current choice is the second one.

This issue is a replicate for dramforever/each#1

• Add alex as dependency
• Layout-based syntax
• where, postulate, instance that starts new layout
• Basic tokenize, reserving [, ], [|, |], {|, |}, (, ), =, ,, <-, ->, forall, :
• Get the infix info, but further parsing is left to #12

I remember I forced stylish-haskell to format code with LF EOL. Shall we use a .gitattributes with * text=auto eol=lf to force it to the whole project? Or just newline: auto in .stylish-haskell.yaml? The warning of unstaged changes due to the EOLs on Windows annoys me a lot.

I'd like to use CircleCI, but Travis CI is fine. AppVeyor might be needed as well.

... and their scope.

Initialize example source files in examples directory for discussing everything related to syntax, and it is convenient to test the parser with them as mock data.

And implicit arguments, instance arguments, etc.

So, what's the purpose and benefits about changing the codebase? It looks like deno who moved from JS to TS + Go, you just made a ground-shaking change in PLT!

And read files to ByteString to feed them to Alex to make lexer faster

Subtask of #18

To impl something like .agdai for Agda or .hi for Haskell, as a compilation cache.

Will be impled soon