File tree
225 files changed
+12
-867307
lines changed- .golden
- Malgo.Infer
- Builtin
- CStyleApply
- DataDef
- DeferLaw
- Double
- Echo
- EvenOdd
- Eventually
- Factorial
- FieldPrefix
- FuncOverUnboxed
- HelloBoxed
- HelloImport
- InlineFunction
- NestedMatch
- Null
- Pattern
- Pragma
- Prelude
- Primitive
- Punctuate
- RecordTest
- RightAssoc
- SameImport
- Seq
- ShowSimple
- Show
- Test0
- Test1
- Test2
- Test3
- Test6
- TestArithDouble
- TestDot
- TestEither
- TestExplicitModule
- TestLet
- TestList
- TestNestedLetFunc
- TestPatSynRecon
- TestPolySynonym
- ToplevelVariableNoImport
- ToplevelVariable
- TuplePattern
- TypeAnnotation
- TypeSynonym
- Undefined
- UseModule
- With
- ZeroArgs
- error
- InvalidTypeApplication
- InvalidTypeSynonym
- TypeMismatch
- Malgo.Refine
- Builtin
- CStyleApply
- DataDef
- DeferLaw
- Double
- Echo
- EvenOdd
- Eventually
- Factorial
- FieldPrefix
- FuncOverUnboxed
- HelloBoxed
- HelloImport
- InlineFunction
- NestedMatch
- Null
- Pattern
- Pragma
- Prelude
- Primitive
- Punctuate
- RecordTest
- RightAssoc
- SameImport
- Seq
- ShowSimple
- Show
- Test0
- Test1
- Test2
- Test3
- Test6
- TestArithDouble
- TestDot
- TestEither
- TestExplicitModule
- TestLet
- TestList
- TestNestedLetFunc
- TestPatSynRecon
- TestPolySynonym
- ToplevelVariableNoImport
- ToplevelVariable
- TuplePattern
- TypeAnnotation
- TypeSynonym
- Undefined
- UseModule
- With
- ZeroArgs
- src/Malgo
- Infer
- Refine
- test/Malgo
- InferSpec/errors
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
225 files changed
+12
-867307
lines changedLines changed: 0 additions & 79623 deletions
This file was deleted.
Lines changed: 0 additions & 79623 deletions
This file was deleted.
Lines changed: 0 additions & 3477 deletions
This file was deleted.
Lines changed: 0 additions & 3477 deletions
This file was deleted.
Lines changed: 0 additions & 987 deletions
This file was deleted.
Lines changed: 0 additions & 987 deletions
This file was deleted.
Lines changed: 0 additions & 903 deletions
This file was deleted.
Lines changed: 0 additions & 903 deletions
This file was deleted.
Lines changed: 0 additions & 442 deletions
This file was deleted.
Lines changed: 0 additions & 442 deletions
This file was deleted.
0 commit comments