https://github.com/Helium4Haskell/lvm

sort by:
Revision Author Date Message Commit Date
3ceeb23 Lvm.Core: fix pretty printing of annotations, export ptypeconstraints in Parser 08 August 2020, 08:15:11 UTC
9f73136 Lvm.Import: fix unqualifying in some cases 04 July 2020, 09:21:33 UTC
0c06fff Lvm.Core.Type: don't prettyprint use-friendly type variable 04 July 2020, 09:20:14 UTC
ced0a1d fix qualified names of private functions 13 June 2020, 17:58:21 UTC
f00059d IdMap: add keys and partitionWitKey function 12 June 2020, 14:29:38 UTC
07cb1fb Lvm.Core.Parsing: support parsing at-notation on rhs, export pmodule 11 June 2020, 15:22:07 UTC
77e9e4b Lvm.Core.{Module, Expr}, fix pretty printing at-notation on rhs 11 June 2020, 15:21:36 UTC
b6c792e Lvm.Common.IdMap: add Foldable, Traversable instance, add getMap function 11 June 2020, 15:20:39 UTC
92939c7 fix pretty printing of core and parsing of core, such that the core file that helium generates after stage 11 (lambda lifting) can be parsed. This is needed to be able to easily test uniqueness on simple core expressions 06 June 2020, 11:24:43 UTC
7600240 Support for the following syntax is added: - Parse/pretty print uniqueness annotations on the arrow - Parse/pretty print qualified types The type of a uniqueness function is now of the following form: - test :: r:t ->:q s:t, [p <= q] global functions/constants are assumed to be used shared. For the helium typecheck to deal with these extra annotations/constraints, there is a function typeRemoveAnn which removes all annotations/constraints during typecheck of Core/Iridium 10 May 2020, 17:02:01 UTC
293b90a Lvm.Import: revert Fix core internal class functions being imported, it breaks instances 04 May 2020, 10:26:58 UTC
f096b8f LVM.Core.Type/Expr: Move kind in (T)Forall to Quantor. This simplifies parsing and really states what the type of the quantor is 04 May 2020, 09:45:58 UTC
1ce6807 Lvm.Core.Type: add qualified type 21 April 2020, 13:53:59 UTC
356a323 Since Strictness and Uniquness are both annotations on types, merge the two in a new constructor TAnn. This constructor has two arguments for shared and uniquness respectively. These two additions/adjustions require new functions to remove/add annotations and adjustions of functions that first only expected Strict. 09 April 2020, 16:50:47 UTC
c96fc38 Lvm.Core: add support for parsing uniqueness annotations in Core 09 April 2020, 14:27:11 UTC
f395635 Lvm.Core.Utils, Lvm/Core/Parsing/Token.hs: change CRLF to LF 01 April 2020, 12:27:36 UTC
a93bd76 Lvm.Core: remove mutating 16 March 2020, 12:17:59 UTC
26f8353 Lvm.Core.Type: export showTypeConstant, make a seperate showType and showTypeWithQuantors functions 04 March 2020, 12:19:00 UTC
7a6e494 Lvm.Core.Type: derive show for Type, remove show instance for TypeConstant and make it a function, export Uniq 27 February 2020, 17:06:33 UTC
4698a59 Lvm.Core.Type: treat named type variables the same as unnamed variables but add the name: so 'a' becomes 'v'. This makes parsing the type in the Iridium parser a lot easier 17 February 2020, 22:53:08 UTC
f911cfe The followig syntax has been added: - Add extra argument to Con constructor to support l@e - Add mutating argument to DeclValue to support mutating [] - Add TUniq Constructor to Type to support Uniqueness Analysis For each of these additions, pretty printing has been added. 17 February 2020, 22:52:54 UTC
1fe8510 Reformat the Lvm files involved to add the new syntax. This makes the commits that actually change things cleaner: Lvm.Core.Type: reformat Lvm.Core.Type: use LF instead of CLRF line endings Lvm.Core.Module: reformat Lvm.Core.FreVar: reformat Lvm.Import: reformat Lvm.Core.Parsing.Parser: reformat 08 February 2020, 11:00:16 UTC
0173d58 fix compilation: Constants import from Helium is used, this is not allowed, so move relevant parts from Helium to Lvm 06 February 2020, 17:50:38 UTC
7a44a05 Fix pretty printing of 'export' and 'from' 04 February 2020, 16:32:17 UTC
bf36ce2 Hide fields for non-record data types 04 February 2020, 12:09:42 UTC
36cc5dd Remove strictness info from Field 04 February 2020, 11:30:41 UTC
707264c Small cleanup, remove unused import function 21 January 2020, 01:07:27 UTC
51f4a86 Fix core internal class functions being imported 19 January 2020, 23:02:05 UTC
59b50d0 Exclude infix declarations 12 January 2020, 15:34:42 UTC
fea255f Ignore infix and make renaming own vars optional 05 January 2020, 17:56:37 UTC
154b7ab Simplify module system of Core 28 December 2019, 23:18:10 UTC
81ff86f Add records to constructors in Core 20 December 2019, 21:22:48 UTC
b503cdd Fix merge error 12 November 2019, 12:57:44 UTC
4c9b889 Merge branch 'code-cleanup' into codegen-llvm-typed 12 November 2019, 12:38:31 UTC
50a0365 Initial work on region inference 12 November 2019, 12:38:08 UTC
d6b85f3 Add a variant of mapWithSupply which chains 23 September 2019, 13:54:04 UTC
4ef0b16 Id.hs: dont't inline 23 September 2019, 09:51:42 UTC
44a13be Merge pull request #2 from Helium4Haskell/code-cleanup Fix compilation after introduction of LLVM backend. 17 September 2019, 13:24:00 UTC
b1e56c5 reformat all files, apply lints from hlint 17 September 2019, 08:16:24 UTC
eb08f6f merge master 17 September 2019, 08:14:41 UTC
2d2f696 remove unused files and fix cabal; fixes compilation 09 September 2019, 10:17:51 UTC
a516e95 Getting rid of pesky compile time warnings 24 August 2019, 08:00:47 UTC
2f05dda Bumped version number, changed some admin info. 22 July 2019, 10:14:53 UTC
49b67e8 Merge pull request #1 from RikvanToor/Helium-Imports-Exports Added Module Import/Export support and added GHC 8.4 support 22 July 2019, 08:45:49 UTC
37ccef0 Merge branch 'Helium-Imports-Exports' of github.com:RikvanToor/lvm into Helium-Imports-Exports 01 May 2019, 15:05:41 UTC
fe8da75 Added ClassDefinition custom 01 May 2019, 15:05:24 UTC
ce72101 Annotate Lam expressions with strictness 20 April 2019, 18:59:32 UTC
4c78ea3 Fixes for core types 04 April 2019, 10:15:03 UTC
9fda861 Distinguish different types of Int literals Add createFunction 22 March 2019, 17:17:50 UTC
6a0230f Remove type synonyms using customs 20 March 2019, 09:04:11 UTC
171501e Fix type synonyms in core 19 March 2019, 22:56:09 UTC
9ed367f Remove type arguments from type synonyms They can be replaced by forall types 18 March 2019, 14:25:23 UTC
8b3cabe Explicit instantiation of constructor in patterns Replace ConTag with ConTuple, as we do not use the tag in ConTag any more 15 March 2019, 11:40:26 UTC
18f57c3 Add type synonyms to core 15 March 2019, 09:07:11 UTC
cf6bd7a Use Ints instead of Ids for type variables 14 March 2019, 14:51:42 UTC
0e43311 Add application of values to types 13 March 2019, 20:24:00 UTC
7f734d2 Add helper functions for types 11 March 2019, 16:59:44 UTC
023f763 Add Forall expression 06 March 2019, 07:32:34 UTC
0b8a7fc Add Kind to forall types 28 February 2019, 21:01:16 UTC
114a368 Add toplevel types, fixes to parser 28 February 2019, 11:30:34 UTC
8c5e453 Add types to toplevel declarations in Core 27 February 2019, 10:05:28 UTC
2178234 Add types to Core data type 26 February 2019, 08:16:59 UTC
af3cd63 Fixed GHC < 8.0 support 09 February 2019, 15:45:22 UTC
757d5d2 Added GHC 8.4 support 09 February 2019, 15:24:34 UTC
26857ce Added qualified typing to LVM 05 December 2018, 11:11:42 UTC
fcc945a Added origin in LVM 05 December 2018, 11:05:38 UTC
19d879a Made sure it doesn't import more often 05 December 2018, 11:00:22 UTC
fc80b24 Added README.md 16 September 2017, 17:32:04 UTC
43d931b Add gitignore file 15 September 2017, 20:34:18 UTC
1e1b4c1 Changing location of repository to github. 15 September 2017, 20:27:03 UTC
b17f9e4 Add documentation and some instances in Lvm.Common 10 May 2017, 06:14:52 UTC
2e08a0a Provide a pure interface for import resolution The gist of it: lvmImport :: (Id -> IO FilePath) -> Module v -> IO (Module v) +lvmImport' :: Monad m => (Id -> m (Module v)) -> Module v -> m (Module v) Considering Identity is an instance of Monad, this is, de facto, pure code. 10 May 2017, 06:14:51 UTC
bbf285a Fix empty directory name handling and deprecate slashify 09 May 2017, 16:10:45 UTC
09c3155 Changes for compatibility with Ghc 7.10.3 12 January 2016, 21:30:56 UTC
5431f82 New config 29 May 2015, 10:07:21 UTC
16e4efa The Makefile can now construct a source distribution/. 29 August 2014, 13:09:53 UTC
62fd3f6 Bumped verison number. 21 August 2014, 14:09:21 UTC
9887d55 Dealing with path issues under windows 1 21 August 2014, 10:43:02 UTC
b665a23 Hopefully this fixes the issues on Windows, and still ahve some sanity checking on the paths to the prefix. 22 July 2014, 11:54:21 UTC
4667c86 - removed no-cygwin flag (deprecated) - commented sanity checks for absolute directories (does not work for C:\Users\bhr\AppData\Roaming\cabal\bin) 22 July 2014, 11:47:21 UTC
8dd9cc8 A few fixes to make things complile again. 21 July 2014, 20:04:40 UTC
4151477 Discovered an error in the configure script that harms us on Linux. 18 July 2014, 13:31:38 UTC
46f5117 Two fixes: 1. exchanging order of libraries and object files in linking since some gcc's demand this nowadays 2. for macosx: avoid the -fno-defer-pop flag since clang does not like it 18 July 2014, 13:20:38 UTC
0f56588 some debug statements removed from configure 30 August 2013, 12:54:24 UTC
ab13074 Upgrade to Cabal 1.18 that fixes an issue that lvmrun does not end up where I want it. 30 August 2013, 11:43:03 UTC
1fada20 It seems I have now succeeded in Cabalizing lvmrun. Please check, and read the lvmrun.cabal for some more details. Issues that might still give trouble is that we hard-code where the lvmrun should go, and cannot leave that to Cabal. 01 March 2013, 14:22:05 UTC
54dad77 BSD license 08 November 2012, 11:27:33 UTC
3c2a7bb volgorde auteurs 08 November 2012, 11:03:28 UTC
c37e078 Fixed link to config directory 02 November 2012, 19:10:54 UTC
1e4e0c4 This has moved. 02 November 2012, 14:25:46 UTC
286e206 A new config.guess and config.sub so that it works for a recent macosx machine 02 November 2012, 13:27:06 UTC
c1581fe More files had to be moved into runtime/ 02 November 2012, 12:21:03 UTC
d909780 Moving stuff around Checking in the cabal and Setup file. 02 November 2012, 09:58:54 UTC
d1a6e55 This is the same makefile, but under a different name 02 November 2012, 09:31:06 UTC
022540a Deleted makefile because Cabal wants Makefile 02 November 2012, 09:30:33 UTC
0f7db39 Moving configure, because seems to want that. 02 November 2012, 09:29:56 UTC
ba7cc20 added license headers 26 October 2012, 13:30:15 UTC
ec0fad7 Exception ambiguity resolved 25 October 2012, 09:35:51 UTC
69b2228 Deleted warning for missing LVMPATH. 25 October 2012, 09:29:08 UTC
e15c622 syntax error in cabal file 25 October 2012, 08:43:52 UTC
back to top