1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-19 04:41:36 +03:00
Commit Graph

136 Commits

Author SHA1 Message Date
Jan Mas Rovira
96930352aa [tests] setup basic testing 2022-02-15 14:12:53 +01:00
Jan Mas Rovira
0856327658 [errors] add not in scope error 2022-02-14 13:39:54 +01:00
Jan Mas Rovira
5929172e1e [package] remove unused 'word8' dependency 2022-02-13 12:30:20 +01:00
Jan Mas Rovira
edd47ad00b [pretty] implement pretty printer for parsed AST 2022-02-12 17:35:23 +01:00
Jan Mas Rovira
6da7dd8b30 add unified minijuvix errors 2022-02-12 12:29:25 +01:00
Jan Mas Rovira
1919c32417 [html] improve html pretty printing 2022-02-05 13:27:33 +01:00
Jan Mas Rovira
b48f00556a [pretty] add simple html output with links 2022-02-04 23:14:06 +01:00
Jan Mas Rovira
c7461342de [html] start working towards html pretty printing 2022-02-04 13:31:38 +01:00
Jan Mas Rovira
023fde3e39 [scoper] Implement qualified names, open and import statements
commit 12d4fbf8fd
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Thu Feb 3 10:24:43 2022 +0100

    [scoper] fix modules cache

commit 0be571067c
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Thu Feb 3 01:54:32 2022 +0100

    [scoper] wip 5

commit 06e2e4eb0c
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Thu Feb 3 01:35:30 2022 +0100

    [scoper] wip 4

commit db3850075d
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Thu Feb 3 00:01:40 2022 +0100

    [scoper] wip 3

commit b1e8a535a7
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Wed Feb 2 17:47:17 2022 +0100

    [scoper] wip 2

commit 15f6073f9a
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Tue Feb 1 20:51:05 2022 +0100

    [scoper] scope wip

commit df1fb9c3bb
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Fri Jan 28 17:54:14 2022 +0100

    run ormolu

commit 35fb22e28a
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Fri Jan 28 17:38:58 2022 +0100

    [scoper] continue working on scoping of modules

commit 0669f11c02
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Fri Jan 28 16:01:31 2022 +0100

    [scoper] ambiguous symbols no longer cause a crash

commit b1ee93f220
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Fri Jan 28 16:01:01 2022 +0100

    [pretty] properly print qualified symbols and open statements

commit 20666b1163
Author: Jan Mas Rovira <janmasrovira@gmail.com>
Date:   Fri Jan 28 12:06:29 2022 +0100

    [scoper] module scoping WIP
2022-02-03 10:25:38 +01:00
Jan Mas Rovira
df1fb9c3bb run ormolu 2022-01-28 17:54:31 +01:00
Jan Mas Rovira
20666b1163 [scoper] module scoping WIP 2022-01-28 12:06:29 +01:00
Jan Mas Rovira
61df66d186 replace relude by our own Prelude 2022-01-21 09:50:37 +01:00
Jan Mas Rovira
b808a03760 [app] pretty print parsed Haskell AST 2022-01-20 12:50:16 +01:00
Jan Mas Rovira
1d6ca6b989 [app] prepare app 2022-01-18 13:30:49 +01:00
Jan Mas Rovira
8436544e87 [scoper] parse expressions 2022-01-17 20:12:31 +01:00
Jan Mas Rovira
c8cfb27fc4 [scoper] work more on the scoper 2022-01-15 19:55:18 +01:00
Jan Mas Rovira
f822a1a157 [parser, scoper] rethink concrete/scoped AST. Use TypeFamilies again 2022-01-13 11:51:19 +01:00
Jan Mas Rovira
d74871d185 [test] fix tests paths and add stance to package.yaml 2022-01-11 10:09:08 +01:00
Jonathan Prieto-Cubides
74dfb78693 Fixing more merging conflicts 2022-01-10 11:02:20 -05:00
Jonathan Cubides
a33e8deff8
Merge branch 'qtt' into jan 2022-01-10 10:03:39 -05:00
Jan Mas Rovira
64869edceb [build] remove unused stances 2022-01-10 12:38:43 +01:00
Jan Mas Rovira
7082c21223 [parser] add QQ parser 2022-01-10 10:46:28 +01:00
Jan Mas Rovira
ba0e4ff543 [parser] add injective type families and adapt ModulePathType accordingly 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
21ccec7f04 [parser] add necessary extensions for singletons and implement singletons for ModuleIsTop 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
90d745e12b [dependencies] remove dependency of singletons-th 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
0744567313 [dependencies] add singletons dependency and sort dependencies 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
dd497baace [dependencies] add microlens-platform dependency 2022-01-05 09:38:28 +01:00
Jan Mas Rovira
ebf89ef254 add polysemy dependency. Incompatible with Safe 2022-01-03 12:52:58 +01:00
Jonathan Prieto-Cubides
39359b6a04 [ package.yaml ] update metadata 2021-12-30 10:59:41 -05:00
Jan Mas Rovira
1d7394bb41 implement preparser 2021-12-29 18:27:38 +01:00
Jan Mas Rovira
fc8eef6cca add some syntax changes 2021-12-28 17:19:20 +01:00
Jan Mas Rovira
cf82ce8a44 add syntax example (without usages). Adapt Language.hs 2021-12-24 18:58:20 +01:00
Jan Mas Rovira
be416e5a0b minimize language extensions 2021-12-24 08:31:48 +01:00
Jan Mas Rovira
81c88597ed make version restrictions more explicit 2021-12-24 08:31:21 +01:00
Jan Mas Rovira
7dff4da317 fix compilation errors 2021-12-23 11:19:46 +01:00
Jan Mas Rovira
07f2eb6689 upgrade to ghc9, use hpack 2021-12-23 10:57:55 +01:00