anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 01:52:11 +03:00
Code Issues Projects Releases Wiki Activity
356 Commits 53 Branches 39 Tags 21 MiB
153ebe36a2
Commit Graph

356 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jan Mas Rovira
153ebe36a2 add simple test for MicroJuvix type checker 2022-03-29 09:46:26 +02:00
Jan Mas Rovira
b7dd050663 [microjuvix] implement basic typechecker 2022-03-29 02:02:37 +02:00
Jan Mas Rovira
51761a10cb fix readme 2022-03-28 17:32:09 +02:00
Jan Mas Rovira
db8f8a98c9 fix package.yaml 2022-03-28 09:40:51 +02:00
Jonathan Prieto-Cubides
1e52e663ca Fixed merge conflicts 2022-03-25 18:30:37 +01:00
Jonathan Prieto-Cubides
4497c8bfe1 [ package.yaml ] update version 2022-03-25 18:26:22 +01:00
Jonathan Cubides
de6fabf625
v0.1.1 (#15) 
* add references to the syntax and cleanup code

* [make] add .PHONY to Makefile targets

* [parser] add parser / pretty for axiom backends

* Pairing progress

* [scoper] Add support for Axiom backends

* [parser] Fix foreign block parsing

* [ app ] adds --no-colors flag for the scope command

* [ghc] upgrade to ghc 9.2.2

* use GHC2021

* [doc] Remove out-of-date comment

* [test] Add ambiguity tests

* [scoper] Improve resolution of local symbols

* [error] WIP improving ambiguity error messages

* [ clean-up ] new lab folder for experimentation

* [ app ] ixes the lint warning

* [ Termination ] removes Alga dependency

* [error] Add message for ambiguous symbol error

* [error] Add ambiguous module message

* [scoper] Remove ErrGeneric

* [test] Add test to suite

* [test] show diff when ast's are different

* [ lab ] folder organization

* [ Makefile ] add targets with --watch option (stack cmds) and remove unused things

* [ app ] add --version flag and fixed warnings and formatting

* [test] remove fromRightIO to fix ambiguity error

* [test] Add test of shadowing public open

* [scoper] Add visibility annotation for Name

* prepare buildIntoTable

* [ Concrete ] add instance of hashable for refs.

* add InfoTableBuilder effect

* [ scoper ] add InfoTableBuilder effect

* [ CHANGELOG ] updated v0.1.1

* [ README ] org version now

Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
Co-authored-by: Paul Cadman <git@paulcadman.dev>
 2022-03-25 18:16:34 +01:00
Jonathan Cubides
eee91cbb43
Merge pull request #14 from heliaxdev/wip3 
v0.1.1
 2022-03-25 18:15:37 +01:00
Jonathan Prieto-Cubides
674559d069 [ README ] org version now 2022-03-25 18:10:17 +01:00
Jonathan Prieto-Cubides
318cc4c441 [ CHANGELOG ] updated v0.1.1 2022-03-25 18:06:50 +01:00
Jonathan Prieto-Cubides
ce30de2dc3 [ scoper ] add InfoTableBuilder effect 2022-03-25 17:44:32 +01:00
Jan Mas Rovira
b076009f64 add InfoTableBuilder effect 2022-03-25 16:08:32 +01:00
Jonathan Prieto-Cubides
9d05cedc50 [ Concrete ] add instance of hashable for refs. 2022-03-25 15:37:45 +01:00
Jan Mas Rovira
9606f2477d prepare buildIntoTable 2022-03-25 12:57:17 +01:00
Paul Cadman
6c2c7537c8 [scoper] Add visibility annotation for Name 2022-03-25 10:31:10 +00:00
Paul Cadman
2ec85d39a4 [test] Add test of shadowing public open 2022-03-25 09:30:05 +00:00
Jan Mas Rovira
e241cc7b5b [test] remove fromRightIO to fix ambiguity error 2022-03-25 09:26:40 +01:00
Jonathan Prieto-Cubides
17a0577ee7 [ app ] add --version flag and fixed warnings and formatting 2022-03-25 00:52:30 +01:00
Jonathan Prieto-Cubides
02474c837f [ Makefile ] add targets with --watch option (stack cmds) and remove unused things 2022-03-25 00:50:18 +01:00
Jonathan Prieto-Cubides
cd2e19e265 [ lab ] folder organization 2022-03-25 00:48:43 +01:00
Jan Mas Rovira
eedf468261 [test] show diff when ast's are different 2022-03-24 17:04:22 +01:00
Paul Cadman
6ce6489617 [test] Add test to suite 2022-03-24 14:59:39 +00:00
Paul Cadman
242275a4e3 [scoper] Remove ErrGeneric 2022-03-24 14:57:10 +00:00
Paul Cadman
e60d307595 [error] Add ambiguous module message 2022-03-24 14:45:49 +00:00
Paul Cadman
459da40ae6 [error] Add message for ambiguous symbol error 2022-03-24 14:27:56 +00:00
Jonathan Prieto-Cubides
e6bb422cea [ Termination ] removes Alga dependency 2022-03-24 13:25:50 +01:00
Jonathan Prieto-Cubides
b4ce3b8fbf [ app ] ixes the lint warning 2022-03-24 13:25:50 +01:00
Jonathan Prieto-Cubides
02de05830f [ clean-up ] new lab folder for experimentation 2022-03-24 13:25:50 +01:00
Paul Cadman
37537749e1 [error] WIP improving ambiguity error messages 2022-03-24 12:02:14 +00:00
Paul Cadman
339cc24541 [scoper] Improve resolution of local symbols 2022-03-24 10:28:15 +00:00
Paul Cadman
86110e063a [test] Add ambiguity tests 2022-03-24 10:22:03 +00:00
Paul Cadman
660c034d06 [doc] Remove out-of-date comment 2022-03-24 09:27:37 +00:00
Jan Mas Rovira
b3fe3de215 use GHC2021 2022-03-24 10:14:29 +01:00
Jan Mas Rovira
9cfbf6adac [ghc] upgrade to ghc 9.2.2 2022-03-23 23:25:55 +01:00
Jonathan Prieto-Cubides
7769d74006 [ app ] adds --no-colors flag for the scope command 2022-03-23 17:21:44 +01:00
Paul Cadman
f527143e67 [parser] Fix foreign block parsing 2022-03-23 15:34:08 +00:00
Paul Cadman
20dfb7b736 [scoper] Add support for Axiom backends 2022-03-23 15:05:52 +00:00
Paul Cadman
a6f03505ea Pairing progress 2022-03-23 14:45:57 +00:00
Paul Cadman
37bafc7b55 [parser] add parser / pretty for axiom backends 2022-03-23 12:24:53 +00:00
Paul Cadman
903ef6a59b [make] add .PHONY to Makefile targets 2022-03-23 11:13:28 +00:00
Jan Mas Rovira
1a23adc762 add references to the syntax and cleanup code 2022-03-23 11:40:03 +01:00
Jonathan Prieto-Cubides
14ac284756 Merge branch 'dev' of github.com:heliaxdev/minijuvix 2022-03-18 13:12:04 +01:00
Jonathan Cubides
b208eec082
[ README ] Minor updates 2022-03-18 13:06:19 +01:00
Jonathan Cubides
1b9f859080
Update README.md 2022-03-18 13:00:36 +01:00
Jonathan Cubides
ed6d991f5a
The MiniJuvix project now follows the same goals as the original Juvix project. (#7) 
* Update README.md
 2022-03-18 12:56:07 +01:00
Jonathan Cubides
48597a603e
Update README.md 2022-03-18 12:49:19 +01:00
Jonathan Cubides
453fd34db6
Update README.md 2022-03-18 12:45:23 +01:00
Jonathan Cubides
68e654f9a1
Merge pull request #6 from heliaxdev/dev 
dev→main
 2022-03-18 12:23:11 +01:00
Jonathan Cubides
a58a5d6578
Delete haskell.yml 2022-03-18 12:20:12 +01:00
Jonathan Prieto-Cubides
ee3d73306d [ Makefile ] Adds Template haskell flag for Ormulu 2022-03-18 10:43:56 +01:00