shithub: MicroHs

RSS feed

466bdea5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/25 10:47
Better parsing of view patterns.

8354f3d9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/25 09:44
Regen

c72dd2d8 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/25 08:44
Bump version

bc55ef4a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/24 18:36
Implement type inference for pattern synonyms.

4f6c8981 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/24 18:34
More tuple instances.

ffda7053 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/23 09:24
Merge branch 'master' into patsyn3

f1136c9a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/23 06:01
More patsyn

8fdde6a4 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/12/23 02:17
Merge pull request #74 from treeowl/mergesort

fb75d1b1 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/23 09:13
Regen

ba44b0a8 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/23 08:57
Merge branch 'reds'

57c1b0cd – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/23 07:59
More partial reductions

79a65fa8 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/23 07:08
More reductions of partial pplications.

c68e543a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/22 07:35
More runtime reductions.

af246509 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/21 10:39
Bump version number

3e6d2a2b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/21 10:39
Bump version number

670601ab – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/21 10:35
Ignore 'type role ...'

fb1ea141 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/21 10:24
Regen

4ca0b4d1 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/21 10:23
xxx

430747e4 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/21 10:19
A hack to allow 'a ~ b =>' in existential/GADT contexts. Fixes issue #75

94508062 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/12/16 12:44
Type equality (~) should be polykinded. Fixes issue #71

747bad07 – David Feuer <David.Feuer@gmail.com> authored on 2024/12/16 08:54
Use a mergesort

dc708ee4 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/13 14:58
Fix typo

3e746a77 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/13 14:47
Regen

189836c7 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/13 14:46
Add simple pattern synonym test.

d24fd07e – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/13 14:36
Better handle ing pattern synonyms.

3bc7e255 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/12 15:40
First version of pattern synonyms

4f57f676 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/11 18:56
Document __MHS__

8e4405a5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/10 16:41
Merge branch 'master' into patsyn3

65a2249a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/12/10 07:46
Fix issue reported in #70

dc89fa97 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/08 17:45
Change tcPat to integrate arity checking.

5b912da5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/08 13:26
More error tests

d370185f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/08 13:03
Nore patterns

0e0fb3a0 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/08 06:49
Merge branch 'master' into patsyn3

fec27780 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/08 06:48
Fix some comments.

dfda74cb – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/08 06:43
More pattern synonyms

b2c417da – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/07 11:42
Temp

4ba2eecb – Lennart Augustsson <lennart@augustsson.net> authored on 2024/12/01 06:15
More pattern synonym stuff.

1f3d0316 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/29 19:47
Fix bug with local type signatures

2f26ca13 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/29 06:27
Don't ever close std handles

ab72f746 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/29 06:20
Initializer finalizer field.

e2284029 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 20:32
Make IO errors throw the correct exception.

5ece8062 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 19:48
Work around a bug when using !_

a13fe877 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 19:34
Add setBuffering

f58d438a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/28 10:31
Add StandaloneDeriving

a4f5892f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/24 09:56
Fix a deriving bug

0bb0428b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 08:54
Add missing primitives

6f5ab727 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 08:06
Update tests for 32 bit

b8b9a7ab – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 07:45
Make it compile

687532ec – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 07:38
Fix typos

9bb5a048 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 07:35
Format related changes

12dd0721 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 06:58
Another fix

c0eaa499 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 06:55
Fix emscripten problem

8bfee44d – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 06:48
Add a target for emscripten tests.

d5fed2d8 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 06:45
Install targets file

b3efa872 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/23 06:32
Make Integer encoding in the combinator file portable between 32 and 64 bit.

05ac8619 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/22 13:07
Make emscripten easier to use.

d9f07b0b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/22 08:12
Expand module names as well.

971f758a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/22 07:51
Make superclass list have 0/1 elements. Expand tupled constraints.

752ce37b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/21 14:49
Merge branch 'stable-2'

a537148c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/21 13:44
Make () a built in type.

38118db9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/21 11:26
Small speedup of FilePath

190170d9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/19 14:44
Recursively add superclasses for defaulting.

d16afe37 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/19 14:42
Fix context parsing error.

2138f347 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/19 14:08
Regen

e8188c7d – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/19 13:59
Add pointless module that GHC has.

8272bf38 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/19 13:56
Fix some discrepancies with the Haskell report.

bb9572a2 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/18 19:42
Derive a non-working Read instance.

ade16a04 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/17 18:38
Pretend we can derive Generic and Lift

19832864 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 16:58
Work around cabal problem.

13fc8b87 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 16:04
Change installed package file layout.

46c6609b – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 10:55
Regen

9265ad23 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 10:40
Regen

571922c5 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 10:35
Better Makefile

d6105e2a – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 10:28
Regen

cb7ae3b9 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 09:48
Tweak installation

f57a1f14 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 09:27
Update minstall

720b77ee – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 07:32
Use System.FilePath functions

fe42bfc4 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 07:26
Add spanEnd and breakEnd

d8e05cf2 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/16 07:26
Add minstall target

de598840 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/14 05:59
Make bootstrapping work

08f6782a – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/14 05:52
Update libs.cabal

069461fb – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/14 05:29
Ignore more

173d6afe – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/14 05:28
Include mcabal binary

68e8aa42 – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/14 05:27
Update how -L works

f0cf670c – Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net> authored on 2024/11/12 05:11
Update error message

659fb888 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 19:03
Pass more arguments to cc

f1650040 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 18:48
Regen.

70df575c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 18:46
Merge instance information when merging packages.

4c8bfb67 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 18:46
Better merging of instance information.

0c00bd6c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 18:46
Better error message

c4d8baa3 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 18:45
Add mergeWith

8548d3b3 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/11 18:44
Define __MHS__ for final C compilation.

c3ee490a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 13:41
Bump version for new features

1872c0a0 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 13:40
Add missing module

a6b98430 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 13:10
Move some file that are only for cpphs bootstrapping.

90a309f6 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 08:40
Add OrPatterns test.

e65ebc12 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 08:39
Implement MultilineStrings.

1095d9db – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 05:53
Merge branch 'multiline'

1de3655e – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/10 05:52
Use correct defaults

18e83b97 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/11/09 20:20
Merge branch 'master' into multiline

Next