├── .gitignore ├── .mailmap ├── .travis.yml ├── LICENSE ├── Makefile ├── Readme.md ├── bin └── .README ├── doc ├── announce │ └── HCAR │ │ ├── Disciple-201011.tex │ │ ├── Disciple-201111.tex │ │ ├── Disciple-201211.tex │ │ ├── Disciple-201304.tex │ │ ├── Disciple-201404.tex │ │ ├── Disciple-201605.tex │ │ ├── Disciple-201611.tex │ │ └── hcar.sty ├── notes │ └── ddc │ │ ├── design │ │ ├── Collections.txt │ │ ├── Curring.txt │ │ ├── Documentation.txt │ │ ├── ExistentialRegions.txt │ │ ├── Quantifiers.txt │ │ ├── Shimmer.txt │ │ └── Tuples.txt │ │ └── plan │ │ └── Bootstrap.txt ├── sphinx │ ├── discus │ │ ├── Makefile │ │ └── source │ │ │ ├── _static │ │ │ └── .keep │ │ │ ├── _templates │ │ │ └── .keep │ │ │ ├── conf.py │ │ │ ├── index.rst │ │ │ ├── logo │ │ │ └── discus-512x512.jpg │ │ │ ├── release │ │ │ ├── ddc-0.3.1.rst │ │ │ ├── ddc-0.3.2.rst │ │ │ ├── ddc-0.4.1.rst │ │ │ ├── ddc-0.4.2.rst │ │ │ ├── ddc-0.4.3.rst │ │ │ └── ddc-0.5.1.rst │ │ │ ├── section │ │ │ ├── 01-GettingStarted.rst │ │ │ ├── 02-Specification.rst │ │ │ └── 03-Release.rst │ │ │ ├── specification │ │ │ ├── 01-Source.rst │ │ │ ├── 02-Core.rst │ │ │ ├── core │ │ │ │ ├── 01-Concrete.rst │ │ │ │ ├── 02-Statics.rst │ │ │ │ ├── 03-CoreDiscus.rst │ │ │ │ ├── 04-CoreSalt.rst │ │ │ │ └── 05-Shimmer.rst │ │ │ └── source │ │ │ │ └── 01-Concrete.rst │ │ │ └── theme │ │ │ ├── static │ │ │ └── haiku-mod.css │ │ │ └── theme.conf │ └── shimmer │ │ ├── Makefile │ │ ├── build │ │ └── .keep │ │ └── source │ │ ├── _static │ │ └── .keep │ │ ├── _templates │ │ └── .keep │ │ ├── conf.py │ │ ├── index.rst │ │ └── section │ │ ├── 01-definition.rst │ │ ├── 02-primitives.rst │ │ ├── 03-examples.rst │ │ └── examples │ │ ├── 00-Intro.smr │ │ ├── 01-Lambda.smr │ │ ├── 02-NoNameCapture.smr │ │ ├── 03-ChurchEncoding.smr │ │ ├── 04-PrimitiveNats.smr │ │ └── 05-Fixpoints.smr └── syntax │ ├── Disciple │ ├── Disciple Core.tmLanguage │ └── Disciple Tetra.tmLanguage │ ├── Haskell │ ├── Comments.tmPreferences │ └── Haskell.tmLanguage │ ├── Inky.tmTheme │ └── Shimmer │ └── Shimmer.tmLanguage ├── make ├── build.mk ├── config.mk ├── config │ ├── flavour.mk │ ├── goop │ │ └── getArch.sh │ ├── options.mk │ └── target.mk ├── deps │ └── .README ├── rules.mk └── targets │ ├── bin-ddc-main.mk │ ├── bin-ddci-core.mk │ ├── bin-ddci-tetra.mk │ ├── bin-smr.mk │ ├── clean.mk │ ├── docs.mk │ ├── libs.mk │ ├── packages.mk │ ├── runtime.mk │ ├── setup.mk │ ├── tarball.mk │ └── war.mk ├── src ├── s1 │ ├── ddc-build │ │ ├── DDC │ │ │ └── Build │ │ │ │ ├── Builder.hs │ │ │ │ ├── Builder │ │ │ │ ├── Base.hs │ │ │ │ ├── BuilderPPC32Linux.hs │ │ │ │ ├── BuilderX8632Darwin.hs │ │ │ │ ├── BuilderX8632Linux.hs │ │ │ │ ├── BuilderX8664Darwin.hs │ │ │ │ ├── BuilderX8664Linux.hs │ │ │ │ └── Error.hs │ │ │ │ ├── Language.hs │ │ │ │ ├── Language │ │ │ │ ├── Base.hs │ │ │ │ ├── Discus.hs │ │ │ │ ├── Flow.hs │ │ │ │ ├── Machine.hs │ │ │ │ ├── Salt.hs │ │ │ │ └── Zero.hs │ │ │ │ ├── Pipeline.hs │ │ │ │ ├── Pipeline │ │ │ │ ├── Core.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Sink.hs │ │ │ │ └── Text.hs │ │ │ │ ├── Platform.hs │ │ │ │ ├── Platform │ │ │ │ ├── Base.hs │ │ │ │ ├── Determine.hs │ │ │ │ └── Error.hs │ │ │ │ ├── Spec.hs │ │ │ │ ├── Spec │ │ │ │ ├── Base.hs │ │ │ │ ├── Check.hs │ │ │ │ └── Parser.hs │ │ │ │ └── Stage │ │ │ │ ├── Core.hs │ │ │ │ ├── Core │ │ │ │ ├── Discus.hs │ │ │ │ └── Salt.hs │ │ │ │ └── Source │ │ │ │ └── Discus.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-core-discus │ │ ├── DDC │ │ │ └── Core │ │ │ │ ├── Discus.hs │ │ │ │ └── Discus │ │ │ │ ├── Check.hs │ │ │ │ ├── Codec │ │ │ │ └── Shimmer │ │ │ │ │ ├── Decode.hs │ │ │ │ │ └── Encode.hs │ │ │ │ ├── Compounds.hs │ │ │ │ ├── Convert.hs │ │ │ │ ├── Convert │ │ │ │ ├── Boxing.hs │ │ │ │ ├── Data.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Exp │ │ │ │ │ ├── Alt.hs │ │ │ │ │ ├── Arg.hs │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Ctor.hs │ │ │ │ │ ├── Lets.hs │ │ │ │ │ ├── Lit.hs │ │ │ │ │ ├── PrimArith.hs │ │ │ │ │ ├── PrimBoxing.hs │ │ │ │ │ ├── PrimCall.hs │ │ │ │ │ ├── PrimError.hs │ │ │ │ │ ├── PrimInfo.hs │ │ │ │ │ ├── PrimRecord.hs │ │ │ │ │ └── PrimVector.hs │ │ │ │ ├── Layout.hs │ │ │ │ ├── Type.hs │ │ │ │ └── Type │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── DaCon.hs │ │ │ │ │ ├── Data.hs │ │ │ │ │ ├── Kind.hs │ │ │ │ │ ├── Region.hs │ │ │ │ │ ├── Super.hs │ │ │ │ │ └── Witness.hs │ │ │ │ ├── Env.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Prim.hs │ │ │ │ ├── Prim │ │ │ │ ├── Base.hs │ │ │ │ ├── DaConDiscus.hs │ │ │ │ ├── OpArith.hs │ │ │ │ ├── OpCast.hs │ │ │ │ ├── OpError.hs │ │ │ │ ├── OpFun.hs │ │ │ │ ├── OpInfo.hs │ │ │ │ ├── OpVector.hs │ │ │ │ ├── TyConDiscus.hs │ │ │ │ └── TyConPrim.hs │ │ │ │ ├── Profile.hs │ │ │ │ └── Transform │ │ │ │ ├── Boxing.hs │ │ │ │ ├── Curry.hs │ │ │ │ ├── Curry │ │ │ │ ├── Call.hs │ │ │ │ ├── CallSuper.hs │ │ │ │ ├── CallThunk.hs │ │ │ │ ├── Callable.hs │ │ │ │ └── Error.hs │ │ │ │ └── Initialize.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-core-flow │ │ ├── DDC │ │ │ └── Core │ │ │ │ ├── Flow.hs │ │ │ │ └── Flow │ │ │ │ ├── Compounds.hs │ │ │ │ ├── Context.hs │ │ │ │ ├── Context │ │ │ │ ├── Base.hs │ │ │ │ └── FillPath.hs │ │ │ │ ├── Convert.hs │ │ │ │ ├── Convert │ │ │ │ ├── Base.hs │ │ │ │ ├── Exp.hs │ │ │ │ └── Type.hs │ │ │ │ ├── Env.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Exp │ │ │ │ └── Simple │ │ │ │ │ ├── Collect.hs │ │ │ │ │ ├── Compounds.hs │ │ │ │ │ └── Exp.hs │ │ │ │ ├── Lower.hs │ │ │ │ ├── Prim.hs │ │ │ │ ├── Prim │ │ │ │ ├── Base.hs │ │ │ │ ├── DaConFlow.hs │ │ │ │ ├── DaConPrim.hs │ │ │ │ ├── KiConFlow.hs │ │ │ │ ├── OpConcrete.hs │ │ │ │ ├── OpControl.hs │ │ │ │ ├── OpPrim.hs │ │ │ │ ├── OpSeries.hs │ │ │ │ ├── OpStore.hs │ │ │ │ ├── OpVector.hs │ │ │ │ ├── TyConFlow.hs │ │ │ │ └── TyConPrim.hs │ │ │ │ ├── Procedure.hs │ │ │ │ ├── Process.hs │ │ │ │ ├── Process │ │ │ │ ├── Operator.hs │ │ │ │ ├── Pretty.hs │ │ │ │ └── Process.hs │ │ │ │ ├── Profile.hs │ │ │ │ └── Transform │ │ │ │ ├── Annotate.hs │ │ │ │ ├── Concretize.hs │ │ │ │ ├── Deannotate.hs │ │ │ │ ├── Extract.hs │ │ │ │ ├── Forward.hs │ │ │ │ ├── Melt.hs │ │ │ │ ├── Rates │ │ │ │ ├── Clusters.hs │ │ │ │ ├── Clusters │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Greedy.hs │ │ │ │ │ └── Linear.hs │ │ │ │ ├── CnfFromExp.hs │ │ │ │ ├── Combinators.hs │ │ │ │ ├── Fail.hs │ │ │ │ ├── Graph.hs │ │ │ │ ├── SeriesOfVector.hs │ │ │ │ └── SizeInference.hs │ │ │ │ ├── Schedule.hs │ │ │ │ ├── Schedule │ │ │ │ ├── Base.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Kernel.hs │ │ │ │ ├── Lifting.hs │ │ │ │ ├── Nest.hs │ │ │ │ └── Scalar.hs │ │ │ │ ├── Slurp.hs │ │ │ │ ├── Slurp │ │ │ │ ├── Context.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Operator.hs │ │ │ │ └── Resize.hs │ │ │ │ ├── Thread.hs │ │ │ │ ├── TransformUpX.hs │ │ │ │ └── Wind.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-core-llvm │ │ ├── DDC │ │ │ ├── Core │ │ │ │ └── Llvm │ │ │ │ │ ├── Convert.hs │ │ │ │ │ ├── Convert │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Context.hs │ │ │ │ │ ├── Error.hs │ │ │ │ │ ├── Exp.hs │ │ │ │ │ ├── Exp │ │ │ │ │ │ ├── Atom.hs │ │ │ │ │ │ ├── Case.hs │ │ │ │ │ │ ├── PrimArith.hs │ │ │ │ │ │ ├── PrimCall.hs │ │ │ │ │ │ ├── PrimCast.hs │ │ │ │ │ │ └── PrimStore.hs │ │ │ │ │ ├── Super.hs │ │ │ │ │ └── Type.hs │ │ │ │ │ ├── Metadata │ │ │ │ │ ├── Graph.hs │ │ │ │ │ └── Tbaa.hs │ │ │ │ │ └── Runtime.hs │ │ │ └── Llvm │ │ │ │ ├── Analysis │ │ │ │ ├── Children.hs │ │ │ │ ├── Defs.hs │ │ │ │ └── Parents.hs │ │ │ │ ├── Graph.hs │ │ │ │ ├── Syntax.hs │ │ │ │ ├── Syntax │ │ │ │ ├── Attr.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Function.hs │ │ │ │ ├── Instr.hs │ │ │ │ ├── Metadata.hs │ │ │ │ ├── Module.hs │ │ │ │ ├── NFData.hs │ │ │ │ ├── Prim.hs │ │ │ │ └── Type.hs │ │ │ │ ├── Transform │ │ │ │ ├── Calls.hs │ │ │ │ ├── Flatten.hs │ │ │ │ └── Simpl.hs │ │ │ │ ├── Write.hs │ │ │ │ └── Write │ │ │ │ ├── Attr.hs │ │ │ │ ├── Base.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Function.hs │ │ │ │ ├── Instr.hs │ │ │ │ ├── Metadata.hs │ │ │ │ ├── Module.hs │ │ │ │ ├── Prim.hs │ │ │ │ └── Type.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-core-machine │ │ ├── DDC │ │ │ └── Core │ │ │ │ ├── Machine.hs │ │ │ │ └── Machine │ │ │ │ ├── Env.hs │ │ │ │ ├── Prim.hs │ │ │ │ ├── Process.hs │ │ │ │ ├── Process │ │ │ │ ├── Base.hs │ │ │ │ ├── Fuse.hs │ │ │ │ └── Slurp.hs │ │ │ │ └── Profile.hs │ │ ├── LICENSE │ │ ├── README.md │ │ └── Setup.hs │ ├── ddc-core-salt │ │ ├── DDC │ │ │ └── Core │ │ │ │ ├── Salt.hs │ │ │ │ └── Salt │ │ │ │ ├── Analysis │ │ │ │ └── Primitive.hs │ │ │ │ ├── Compounds.hs │ │ │ │ ├── Compounds │ │ │ │ ├── Lit.hs │ │ │ │ ├── PrimArith.hs │ │ │ │ ├── PrimCast.hs │ │ │ │ ├── PrimControl.hs │ │ │ │ ├── PrimStore.hs │ │ │ │ └── PrimTyCon.hs │ │ │ │ ├── Env.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Name.hs │ │ │ │ ├── Name │ │ │ │ ├── PrimArith.hs │ │ │ │ ├── PrimCast.hs │ │ │ │ ├── PrimControl.hs │ │ │ │ ├── PrimStore.hs │ │ │ │ ├── PrimTyCon.hs │ │ │ │ └── PrimVec.hs │ │ │ │ ├── Platform.hs │ │ │ │ ├── Profile.hs │ │ │ │ ├── Runtime.hs │ │ │ │ └── Transform │ │ │ │ ├── Initialize.hs │ │ │ │ ├── Slotify.hs │ │ │ │ ├── Slotify │ │ │ │ ├── Inject.hs │ │ │ │ ├── Object.hs │ │ │ │ └── Replace.hs │ │ │ │ └── Transfer.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-core │ │ ├── DDC │ │ │ ├── Control │ │ │ │ ├── Check.hs │ │ │ │ ├── CheckIO.hs │ │ │ │ └── Parser.hs │ │ │ ├── Core │ │ │ │ ├── Analysis │ │ │ │ │ ├── Arity.hs │ │ │ │ │ └── Usage.hs │ │ │ │ ├── Call.hs │ │ │ │ ├── Check.hs │ │ │ │ ├── Check │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Close.hs │ │ │ │ │ ├── Config.hs │ │ │ │ │ ├── Context.hs │ │ │ │ │ ├── Context │ │ │ │ │ │ ├── Apply.hs │ │ │ │ │ │ ├── Base.hs │ │ │ │ │ │ ├── Effect.hs │ │ │ │ │ │ ├── Elem.hs │ │ │ │ │ │ ├── Mode.hs │ │ │ │ │ │ └── Resolve.hs │ │ │ │ │ ├── Error.hs │ │ │ │ │ ├── Error │ │ │ │ │ │ ├── ErrorData.hs │ │ │ │ │ │ ├── ErrorDataMessage.hs │ │ │ │ │ │ ├── ErrorExp.hs │ │ │ │ │ │ ├── ErrorExpMessage.hs │ │ │ │ │ │ ├── ErrorType.hs │ │ │ │ │ │ └── ErrorTypeMessage.hs │ │ │ │ │ ├── Exp.hs │ │ │ │ │ ├── Judge │ │ │ │ │ │ ├── DataDefs.hs │ │ │ │ │ │ ├── EqT.hs │ │ │ │ │ │ ├── Inst.hs │ │ │ │ │ │ ├── Kind.hs │ │ │ │ │ │ ├── Kind │ │ │ │ │ │ │ └── TyCon.hs │ │ │ │ │ │ ├── Module.hs │ │ │ │ │ │ ├── Module │ │ │ │ │ │ │ ├── Binds.hs │ │ │ │ │ │ │ ├── Exports.hs │ │ │ │ │ │ │ └── Imports.hs │ │ │ │ │ │ ├── Sub.hs │ │ │ │ │ │ ├── Type │ │ │ │ │ │ │ ├── AppT.hs │ │ │ │ │ │ │ ├── AppX.hs │ │ │ │ │ │ │ ├── Base.hs │ │ │ │ │ │ │ ├── Case.hs │ │ │ │ │ │ │ ├── Cast.hs │ │ │ │ │ │ │ ├── DaCon.hs │ │ │ │ │ │ │ ├── LamT.hs │ │ │ │ │ │ │ ├── LamX.hs │ │ │ │ │ │ │ ├── Let.hs │ │ │ │ │ │ │ ├── LetPrivate.hs │ │ │ │ │ │ │ ├── Prim.hs │ │ │ │ │ │ │ ├── Sub.hs │ │ │ │ │ │ │ ├── VarCon.hs │ │ │ │ │ │ │ └── Witness.hs │ │ │ │ │ │ └── Witness.hs │ │ │ │ │ ├── Post.hs │ │ │ │ │ └── State.hs │ │ │ │ ├── Codec │ │ │ │ │ ├── Shimmer │ │ │ │ │ │ ├── Decode.hs │ │ │ │ │ │ ├── Encode.hs │ │ │ │ │ │ └── Hash.hs │ │ │ │ │ └── Text │ │ │ │ │ │ ├── Lexer.hs │ │ │ │ │ │ ├── Lexer │ │ │ │ │ │ ├── Offside.hs │ │ │ │ │ │ ├── Offside │ │ │ │ │ │ │ ├── Base.hs │ │ │ │ │ │ │ └── Starts.hs │ │ │ │ │ │ ├── Token │ │ │ │ │ │ │ ├── Builtin.hs │ │ │ │ │ │ │ ├── Index.hs │ │ │ │ │ │ │ ├── Keyword.hs │ │ │ │ │ │ │ ├── Literal.hs │ │ │ │ │ │ │ ├── Names.hs │ │ │ │ │ │ │ ├── Operator.hs │ │ │ │ │ │ │ └── Symbol.hs │ │ │ │ │ │ ├── Tokens.hs │ │ │ │ │ │ └── Unicode.hs │ │ │ │ │ │ ├── Parser.hs │ │ │ │ │ │ ├── Parser │ │ │ │ │ │ ├── Base.hs │ │ │ │ │ │ ├── Context.hs │ │ │ │ │ │ ├── DataDef.hs │ │ │ │ │ │ ├── Exp.hs │ │ │ │ │ │ ├── ExportSpec.hs │ │ │ │ │ │ ├── ImportSpec.hs │ │ │ │ │ │ ├── Module.hs │ │ │ │ │ │ ├── Param.hs │ │ │ │ │ │ ├── Type.hs │ │ │ │ │ │ └── Witness.hs │ │ │ │ │ │ ├── Pretty.hs │ │ │ │ │ │ └── Pretty │ │ │ │ │ │ └── Type.hs │ │ │ │ ├── Collect.hs │ │ │ │ ├── Collect │ │ │ │ │ ├── BindStruct.hs │ │ │ │ │ ├── FreeT.hs │ │ │ │ │ ├── FreeX.hs │ │ │ │ │ └── Support.hs │ │ │ │ ├── Env │ │ │ │ │ ├── EnvT.hs │ │ │ │ │ └── EnvX.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Exp │ │ │ │ │ ├── Annot.hs │ │ │ │ │ ├── Annot │ │ │ │ │ │ ├── AnT.hs │ │ │ │ │ │ ├── AnTEC.hs │ │ │ │ │ │ ├── Compounds.hs │ │ │ │ │ │ ├── Context.hs │ │ │ │ │ │ ├── Ctx.hs │ │ │ │ │ │ ├── Exp.hs │ │ │ │ │ │ ├── NFData.hs │ │ │ │ │ │ ├── Predicates.hs │ │ │ │ │ │ └── Pretty.hs │ │ │ │ │ ├── DaCon.hs │ │ │ │ │ ├── Generic.hs │ │ │ │ │ ├── Generic │ │ │ │ │ │ ├── BindStruct.hs │ │ │ │ │ │ ├── Compounds.hs │ │ │ │ │ │ ├── Exp.hs │ │ │ │ │ │ ├── Predicates.hs │ │ │ │ │ │ └── Pretty.hs │ │ │ │ │ ├── Literal.hs │ │ │ │ │ ├── Simple.hs │ │ │ │ │ └── WiCon.hs │ │ │ │ ├── Fragment.hs │ │ │ │ ├── Fragment │ │ │ │ │ ├── Compliance.hs │ │ │ │ │ ├── Error.hs │ │ │ │ │ ├── Feature.hs │ │ │ │ │ └── Profile.hs │ │ │ │ ├── Interface │ │ │ │ │ ├── Oracle.hs │ │ │ │ │ ├── Store.hs │ │ │ │ │ └── Store │ │ │ │ │ │ ├── Base.hs │ │ │ │ │ │ ├── Construct.hs │ │ │ │ │ │ ├── Fetch.hs │ │ │ │ │ │ └── Resolve.hs │ │ │ │ ├── Load.hs │ │ │ │ ├── Module.hs │ │ │ │ ├── Module │ │ │ │ │ ├── Export.hs │ │ │ │ │ ├── Import.hs │ │ │ │ │ └── Name.hs │ │ │ │ ├── Simplifier.hs │ │ │ │ ├── Simplifier │ │ │ │ │ ├── Apply.hs │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Lexer.hs │ │ │ │ │ ├── Parser.hs │ │ │ │ │ ├── Recipe.hs │ │ │ │ │ └── Result.hs │ │ │ │ └── Transform │ │ │ │ │ ├── AnonymizeX.hs │ │ │ │ │ ├── Beta.hs │ │ │ │ │ ├── BoundT.hs │ │ │ │ │ ├── BoundX.hs │ │ │ │ │ ├── Boxing.hs │ │ │ │ │ ├── Bubble.hs │ │ │ │ │ ├── Elaborate.hs │ │ │ │ │ ├── Eta.hs │ │ │ │ │ ├── Expliciate.hs │ │ │ │ │ ├── Expose.hs │ │ │ │ │ ├── Flatten.hs │ │ │ │ │ ├── FoldCase.hs │ │ │ │ │ ├── Forward.hs │ │ │ │ │ ├── Inline.hs │ │ │ │ │ ├── Inline │ │ │ │ │ └── Templates.hs │ │ │ │ │ ├── Lambdas.hs │ │ │ │ │ ├── Lambdas │ │ │ │ │ ├── Base.hs │ │ │ │ │ └── Lift.hs │ │ │ │ │ ├── MapT.hs │ │ │ │ │ ├── Namify.hs │ │ │ │ │ ├── Prune.hs │ │ │ │ │ ├── Reannotate.hs │ │ │ │ │ ├── Rename.hs │ │ │ │ │ ├── Resolve.hs │ │ │ │ │ ├── Resolve │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Build.hs │ │ │ │ │ └── Context.hs │ │ │ │ │ ├── Rewrite.hs │ │ │ │ │ ├── Rewrite │ │ │ │ │ ├── Disjoint.hs │ │ │ │ │ ├── Env.hs │ │ │ │ │ ├── Error.hs │ │ │ │ │ ├── Match.hs │ │ │ │ │ ├── Parser.hs │ │ │ │ │ └── Rule.hs │ │ │ │ │ ├── Snip.hs │ │ │ │ │ ├── SubstituteTX.hs │ │ │ │ │ ├── SubstituteWX.hs │ │ │ │ │ ├── SubstituteXX.hs │ │ │ │ │ ├── Thread.hs │ │ │ │ │ ├── TransformDownX.hs │ │ │ │ │ ├── TransformModX.hs │ │ │ │ │ ├── TransformUpX.hs │ │ │ │ │ └── Unshare.hs │ │ │ ├── Data │ │ │ │ ├── Canned.hs │ │ │ │ ├── Env.hs │ │ │ │ ├── Label.hs │ │ │ │ ├── ListUtils.hs │ │ │ │ ├── Name.hs │ │ │ │ ├── Pretty.hs │ │ │ │ ├── PrettyPrint.hs │ │ │ │ ├── SourcePos.hs │ │ │ │ ├── Textual.hs │ │ │ │ └── Write.hs │ │ │ ├── Type │ │ │ │ ├── Bind.hs │ │ │ │ ├── DataDef.hs │ │ │ │ ├── Env.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Exp │ │ │ │ │ ├── Simple.hs │ │ │ │ │ ├── Simple │ │ │ │ │ │ ├── Compounds.hs │ │ │ │ │ │ ├── Equiv.hs │ │ │ │ │ │ ├── Exp.hs │ │ │ │ │ │ ├── NFData.hs │ │ │ │ │ │ ├── Predicates.hs │ │ │ │ │ │ └── Subsumes.hs │ │ │ │ │ └── TyCon.hs │ │ │ │ ├── Sum.hs │ │ │ │ ├── Transform │ │ │ │ │ ├── Alpha.hs │ │ │ │ │ ├── AnonymizeT.hs │ │ │ │ │ ├── BoundT.hs │ │ │ │ │ ├── Instantiate.hs │ │ │ │ │ ├── Rename.hs │ │ │ │ │ ├── SubstituteT.hs │ │ │ │ │ └── Unify.hs │ │ │ │ └── Universe.hs │ │ │ └── Version.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-driver │ │ ├── DDC │ │ │ └── Driver │ │ │ │ ├── Build.hs │ │ │ │ ├── Build │ │ │ │ ├── Query.hs │ │ │ │ ├── Run.hs │ │ │ │ ├── State.hs │ │ │ │ └── Taste.hs │ │ │ │ ├── Command │ │ │ │ ├── BaseBuild.hs │ │ │ │ ├── Build.hs │ │ │ │ ├── Check.hs │ │ │ │ ├── Compile.hs │ │ │ │ ├── Flow │ │ │ │ │ ├── Concretize.hs │ │ │ │ │ ├── Lower.hs │ │ │ │ │ ├── Melt.hs │ │ │ │ │ ├── Prep.hs │ │ │ │ │ ├── Rate.hs │ │ │ │ │ ├── Thread.hs │ │ │ │ │ ├── ToTetra.hs │ │ │ │ │ └── Wind.hs │ │ │ │ ├── LSP.hs │ │ │ │ ├── Load.hs │ │ │ │ ├── Machine │ │ │ │ │ ├── Prep.hs │ │ │ │ │ └── Slurp.hs │ │ │ │ ├── Parse.hs │ │ │ │ ├── Read.hs │ │ │ │ ├── RewriteRules.hs │ │ │ │ ├── Scan.hs │ │ │ │ ├── ToLlvm.hs │ │ │ │ ├── ToSalt.hs │ │ │ │ └── Trans.hs │ │ │ │ ├── Config.hs │ │ │ │ ├── Dump.hs │ │ │ │ ├── Interface │ │ │ │ ├── Input.hs │ │ │ │ ├── Load.hs │ │ │ │ ├── Locate.hs │ │ │ │ ├── Source.hs │ │ │ │ └── Status.hs │ │ │ │ ├── LSP │ │ │ │ └── Protocol │ │ │ │ │ ├── Data.hs │ │ │ │ │ ├── Data │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── ClientCapabilities.hs │ │ │ │ │ ├── Initialize.hs │ │ │ │ │ ├── Request.hs │ │ │ │ │ ├── Response.hs │ │ │ │ │ ├── ServerCapabilities.hs │ │ │ │ │ └── ShowMessage.hs │ │ │ │ │ ├── Pack.hs │ │ │ │ │ ├── Parse.hs │ │ │ │ │ └── Unpack.hs │ │ │ │ ├── Output.hs │ │ │ │ ├── Stage.hs │ │ │ │ └── Stage │ │ │ │ ├── Flow.hs │ │ │ │ ├── Machine.hs │ │ │ │ ├── Salt.hs │ │ │ │ └── Tetra.hs │ │ ├── LICENSE │ │ └── Setup.hs │ ├── ddc-source-discus │ │ ├── DDC │ │ │ └── Source │ │ │ │ └── Discus │ │ │ │ ├── Collect │ │ │ │ └── FreeVars.hs │ │ │ │ ├── Convert.hs │ │ │ │ ├── Convert │ │ │ │ ├── Base.hs │ │ │ │ ├── Clause.hs │ │ │ │ ├── Error.hs │ │ │ │ ├── Prim.hs │ │ │ │ ├── Type.hs │ │ │ │ └── Witness.hs │ │ │ │ ├── Env.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Exp │ │ │ │ ├── Bind.hs │ │ │ │ ├── DataDef.hs │ │ │ │ ├── Term │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Compounds.hs │ │ │ │ │ ├── NFData.hs │ │ │ │ │ ├── Predicates.hs │ │ │ │ │ ├── Pretty.hs │ │ │ │ │ └── Prim.hs │ │ │ │ └── Type │ │ │ │ │ ├── Base.hs │ │ │ │ │ ├── Compounds.hs │ │ │ │ │ ├── NFData.hs │ │ │ │ │ ├── Predicates.hs │ │ │ │ │ ├── Pretty.hs │ │ │ │ │ └── Prim.hs │ │ │ │ ├── Lexer.hs │ │ │ │ ├── Module.hs │ │ │ │ ├── Parser.hs │ │ │ │ ├── Parser │ │ │ │ ├── Base.hs │ │ │ │ ├── Exp.hs │ │ │ │ ├── Module.hs │ │ │ │ ├── Param.hs │ │ │ │ ├── Type.hs │ │ │ │ └── Witness.hs │ │ │ │ ├── Pretty.hs │ │ │ │ └── Transform │ │ │ │ ├── BoundX.hs │ │ │ │ ├── Defix.hs │ │ │ │ ├── Defix │ │ │ │ ├── Error.hs │ │ │ │ └── FixTable.hs │ │ │ │ ├── Expand.hs │ │ │ │ ├── Freshen.hs │ │ │ │ ├── Freshen │ │ │ │ └── State.hs │ │ │ │ ├── Guards.hs │ │ │ │ ├── Matches.hs │ │ │ │ └── Prep.hs │ │ ├── LICENSE │ │ └── Setup.hs │ └── ddc-tools │ │ ├── LICENSE │ │ ├── Setup.hs │ │ └── src │ │ ├── ddc-check │ │ ├── Config.hs │ │ └── Main.hs │ │ ├── ddc-main │ │ ├── DDC │ │ │ └── Main │ │ │ │ ├── Args.hs │ │ │ │ ├── Config.hs │ │ │ │ ├── Help.hs │ │ │ │ └── OptLevels.hs │ │ └── Main.hs │ │ ├── ddc-war │ │ ├── DDC │ │ │ └── War │ │ │ │ ├── Config.hs │ │ │ │ ├── Create.hs │ │ │ │ ├── Create │ │ │ │ ├── CreateDC.hs │ │ │ │ ├── CreateDCX.hs │ │ │ │ ├── CreateDSX.hs │ │ │ │ ├── CreateMainHS.hs │ │ │ │ ├── CreateMainSH.hs │ │ │ │ ├── CreateTestDS.hs │ │ │ │ └── Way.hs │ │ │ │ ├── Driver.hs │ │ │ │ ├── Driver │ │ │ │ ├── Base.hs │ │ │ │ ├── Chain.hs │ │ │ │ └── Gang.hs │ │ │ │ ├── Interface │ │ │ │ ├── Controller.hs │ │ │ │ └── VT100.hs │ │ │ │ ├── Job.hs │ │ │ │ ├── Job │ │ │ │ ├── CompileDC.hs │ │ │ │ ├── CompileDS.hs │ │ │ │ ├── CompileHS.hs │ │ │ │ ├── Diff.hs │ │ │ │ ├── RunDCX.hs │ │ │ │ ├── RunDSX.hs │ │ │ │ ├── RunExe.hs │ │ │ │ └── Shell.hs │ │ │ │ ├── Option.hs │ │ │ │ └── Task │ │ │ │ ├── Nightly.hs │ │ │ │ └── Test.hs │ │ ├── LICENSE │ │ └── Main.hs │ │ ├── ddci-core │ │ ├── DDCI │ │ │ └── Core │ │ │ │ ├── Command.hs │ │ │ │ ├── Command │ │ │ │ ├── Help.hs │ │ │ │ ├── Set.hs │ │ │ │ ├── TransInteract.hs │ │ │ │ └── With.hs │ │ │ │ ├── Input.hs │ │ │ │ ├── Interface │ │ │ │ ├── Args.hs │ │ │ │ ├── Batch.hs │ │ │ │ └── Interactive.hs │ │ │ │ ├── Mode.hs │ │ │ │ ├── Output.hs │ │ │ │ ├── Rewrite.hs │ │ │ │ └── State.hs │ │ └── Main.hs │ │ ├── ddci-tetra │ │ ├── DDCI │ │ │ └── Tetra │ │ │ │ ├── Command.hs │ │ │ │ ├── Command │ │ │ │ ├── Desugar.hs │ │ │ │ ├── Help.hs │ │ │ │ ├── Infer.hs │ │ │ │ ├── Parse.hs │ │ │ │ ├── Set.hs │ │ │ │ └── ToCore.hs │ │ │ │ ├── Input.hs │ │ │ │ ├── Interface │ │ │ │ ├── Args.hs │ │ │ │ ├── Batch.hs │ │ │ │ └── Interactive.hs │ │ │ │ ├── Mode.hs │ │ │ │ ├── Output.hs │ │ │ │ └── State.hs │ │ └── Main.hs │ │ └── hp-sort │ │ └── Main.hs ├── s2 │ ├── base │ │ ├── Class │ │ │ ├── Applicative.ds │ │ │ ├── Bits.ds │ │ │ ├── Category.ds │ │ │ ├── Eq.ds │ │ │ ├── Functor.ds │ │ │ ├── Monad.ds │ │ │ ├── Numeric.ds │ │ │ ├── Ord.ds │ │ │ ├── Parse.ds │ │ │ ├── Pretty.ds │ │ │ ├── Profunctor.ds │ │ │ └── Show.ds │ │ ├── Codec │ │ │ ├── Json.ds │ │ │ └── Json │ │ │ │ ├── Base.ds │ │ │ │ ├── Parser.ds │ │ │ │ ├── Pretty.ds │ │ │ │ └── State.ds │ │ ├── Control │ │ │ ├── Exception.ds │ │ │ └── Parsec.ds │ │ ├── Data │ │ │ ├── Array.ds │ │ │ ├── Array │ │ │ │ ├── Base.ds │ │ │ │ ├── Bulk.ds │ │ │ │ ├── Fun.ds │ │ │ │ └── Store.ds │ │ │ ├── Bag.ds │ │ │ ├── CompactRegion.ds │ │ │ ├── Either.ds │ │ │ ├── Function.ds │ │ │ ├── Lens.ds │ │ │ ├── List.ds │ │ │ ├── Map.ds │ │ │ ├── Map │ │ │ │ ├── Base.ds │ │ │ │ ├── Fun.ds │ │ │ │ └── Tree.ds │ │ │ ├── Maybe.ds │ │ │ ├── Numeric.ds │ │ │ ├── Numeric │ │ │ │ ├── Addr.ds │ │ │ │ ├── Bool.ds │ │ │ │ ├── Float32.ds │ │ │ │ ├── Float64.ds │ │ │ │ ├── Int.ds │ │ │ │ ├── Nat.ds │ │ │ │ ├── Word16.ds │ │ │ │ ├── Word32.ds │ │ │ │ ├── Word64.ds │ │ │ │ └── Word8.ds │ │ │ ├── Ref.ds │ │ │ ├── Stream.ds │ │ │ ├── Text.ds │ │ │ ├── Text │ │ │ │ ├── Base.ds │ │ │ │ ├── Char.ds │ │ │ │ ├── Escape.ds │ │ │ │ ├── List.ds │ │ │ │ ├── Location.ds │ │ │ │ ├── Numeric.ds │ │ │ │ ├── Operator.ds │ │ │ │ ├── Parse.ds │ │ │ │ ├── Show.ds │ │ │ │ └── Stream.ds │ │ │ ├── Tuple.ds │ │ │ └── Vector.ds │ │ ├── Debug │ │ │ └── Trace.ds │ │ ├── Main │ │ │ └── Args.ds │ │ ├── Math │ │ │ ├── Combinations.ds │ │ │ ├── Crypto │ │ │ │ └── Sha256.ds │ │ │ └── Vec3.ds │ │ ├── Prelude │ │ │ ├── Data.ds │ │ │ └── Numeric.ds │ │ ├── System │ │ │ ├── Env.ds │ │ │ ├── IO │ │ │ │ ├── Console.ds │ │ │ │ └── File.ds │ │ │ ├── Posix │ │ │ │ ├── Errno.ds │ │ │ │ ├── Stdio.ds │ │ │ │ ├── Stdlib.ds │ │ │ │ └── Unistd.ds │ │ │ ├── Runtime.ds │ │ │ └── Runtime │ │ │ │ ├── Info.ds │ │ │ │ └── Reflect.ds │ │ └── base.build │ ├── ddc-core │ │ ├── DDC │ │ │ └── Core │ │ │ │ ├── Codec │ │ │ │ └── SExp │ │ │ │ │ ├── Lexer.ds │ │ │ │ │ ├── Lexer │ │ │ │ │ └── Token.ds │ │ │ │ │ ├── Parser.ds │ │ │ │ │ ├── Parser │ │ │ │ │ └── Base.ds │ │ │ │ │ ├── Pretty.ds │ │ │ │ │ └── Pretty │ │ │ │ │ └── Base.ds │ │ │ │ └── Exp.ds │ │ └── Main.ds │ ├── ddc-runtime │ │ ├── build │ │ │ └── .README │ │ ├── salt │ │ │ ├── runtime │ │ │ │ ├── Alloc.dcs │ │ │ │ ├── Collect.dcs │ │ │ │ ├── Hash.dcs │ │ │ │ ├── Hook.dcs │ │ │ │ ├── Init.dcs │ │ │ │ └── Stats.dcs │ │ │ └── runtime64 │ │ │ │ ├── Apply.dcs │ │ │ │ ├── Info.dcs │ │ │ │ ├── Object.dcs │ │ │ │ ├── debug │ │ │ │ ├── Check.dcs │ │ │ │ └── Trace.dcs │ │ │ │ └── primitive │ │ │ │ ├── Array.dcs │ │ │ │ ├── CRegion.dcs │ │ │ │ ├── Env.dcs │ │ │ │ ├── Numeric.dcs │ │ │ │ ├── Record.dcs │ │ │ │ ├── Ref.dcs │ │ │ │ ├── Reflect.dcs │ │ │ │ ├── Text.dcs │ │ │ │ └── Vector.dcs │ │ └── sea │ │ │ ├── Runtime.h │ │ │ ├── primitive │ │ │ └── File.c │ │ │ └── runtime │ │ │ ├── Collect.c │ │ │ ├── Collect.h │ │ │ ├── Hook.h │ │ │ ├── Primitive.h │ │ │ ├── Stats.c │ │ │ ├── Types.h │ │ │ └── primitive │ │ │ ├── Console.c │ │ │ ├── Errno.c │ │ │ ├── Error.c │ │ │ ├── Exception.c │ │ │ ├── File.c │ │ │ ├── Parse.c │ │ │ ├── Sha256.c │ │ │ ├── Show.c │ │ │ └── Text.c │ └── smr-core │ │ ├── lib │ │ ├── Church.smr │ │ ├── Comb.smr │ │ ├── List.smr │ │ └── Nat.smr │ │ └── src │ │ ├── Main.ds │ │ └── SMR │ │ ├── Core │ │ ├── Exp.ds │ │ ├── Exp │ │ │ ├── Base.ds │ │ │ ├── Compounds.ds │ │ │ ├── Eq.ds │ │ │ ├── Push.ds │ │ │ ├── Show.ds │ │ │ └── Train.ds │ │ ├── Step.ds │ │ └── Step │ │ │ └── Base.ds │ │ ├── Prim │ │ ├── Name.ds │ │ ├── Op.ds │ │ └── Op │ │ │ ├── Base.ds │ │ │ ├── Bool.ds │ │ │ ├── Comb.ds │ │ │ ├── List.ds │ │ │ ├── Match.ds │ │ │ ├── Nat.ds │ │ │ └── Smr.ds │ │ ├── Repl │ │ ├── Args.ds │ │ ├── Command │ │ │ └── Load.ds │ │ └── Error.ds │ │ ├── Source │ │ ├── Config.ds │ │ ├── Expected.ds │ │ ├── Lexer.ds │ │ ├── Parser.ds │ │ ├── Pretty.ds │ │ └── Token.ds │ │ └── Transform │ │ └── Combinate.ds └── sx │ └── data-graphics-svg │ └── Data │ └── Graphics │ └── SVG │ └── Tiny.ds └── test ├── ddc-broken ├── 99-skip │ ├── 01-Records │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 04-CRTableMax │ │ ├── Main.dcs │ │ └── Main.stdout.check │ ├── 10-LLVM-phi │ │ └── Test.ds │ └── 20-Effect-local │ │ └── Test.ds └── Readme.md ├── ddc-demo ├── Readme.md ├── core │ ├── Discus │ │ ├── 00-Hello │ │ │ ├── Main.dct │ │ │ └── Main.stdout.check │ │ ├── 01-Factorial │ │ │ ├── Main.dct │ │ │ └── Main.stdout.check │ │ └── 02-Lists │ │ │ ├── Main.dct │ │ │ └── Main.stdout.check │ └── Salt │ │ ├── 00-Hello │ │ ├── Main.dcs │ │ └── Main.stdout.check │ │ ├── 01-Factorial │ │ ├── Main.dcs │ │ └── Main.stdout.check │ │ ├── 02-Boxing │ │ ├── Main.dcs │ │ └── Main.stdout.check │ │ └── 03-CRHello │ │ ├── Main.dcs │ │ └── Main.stdout.check └── source │ └── Discus │ ├── 00-Hello │ └── Main.ds │ ├── 10-Defib │ ├── 00-Integer │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 01-Exp3_8 │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 02-Backpatch │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 03-Primes │ │ └── 01-Array │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ ├── 04-Life │ │ ├── Cell.ds │ │ ├── Main.ds │ │ └── World.ds │ ├── 05-SKI │ │ ├── Main.ds │ │ └── Main.stdout.check │ └── 06-NormEval │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 20-Types │ ├── 01-Freezing │ │ ├── Main.ds │ │ └── Main.stdout.check │ └── 02-Update │ │ ├── Main.ds │ │ └── Main.error.check │ ├── 30-Library │ ├── 01-Data │ │ ├── 01-Text │ │ │ └── Main.ds │ │ ├── 02-List │ │ │ ├── 01-Basic │ │ │ │ ├── Main.ds │ │ │ │ └── Main.stdout.check │ │ │ └── 02-Reverse │ │ │ │ ├── Main.ds │ │ │ │ └── Main.stdout.check │ │ ├── 03-Map │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 04-Stream │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 05-Array │ │ │ └── Main.ds │ │ ├── 06-Vector │ │ │ └── Main.ds │ │ └── 07-CR │ │ │ ├── 01-Base │ │ │ └── Main.ds │ │ │ └── 02-HitLimit │ │ │ └── Main.ds │ └── 02-Math │ │ └── 01-Combinations │ │ └── Main.ds │ ├── 40-Graphics │ └── 10-RayTrace │ │ ├── Light.ds │ │ ├── Main.ds │ │ ├── Main.stdout.check │ │ ├── Object.ds │ │ ├── Trace.ds │ │ └── World.ds │ ├── 50-System │ └── 01-Process │ │ └── Main.ds │ ├── 80-Rosetta │ ├── 100_doors │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 9_billion_names │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── AlmostPrime │ │ ├── Main.ds │ │ └── Main.stdout.check │ └── GrayCode │ │ ├── Main.ds │ │ └── Main.stdout.check │ └── 90-Language │ └── 01-Lambda │ ├── Lambda │ ├── Eval │ │ └── Step.ds │ ├── Exp.ds │ ├── Exp │ │ ├── Base.ds │ │ └── Pretty.ds │ └── Source │ │ ├── Lexer.ds │ │ ├── Parser.ds │ │ └── Token.ds │ └── Main.ds ├── ddc-regress ├── Readme.md ├── core │ ├── 01-ddci-core │ │ ├── Test.dcx │ │ └── Test.stdout.check │ ├── 02-Salt │ │ ├── 10-Primitive │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 13-Offside │ │ │ └── Test.dcs │ │ ├── 23-Fragment │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 32-ToLLVM │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 33-ToLLVM-MD │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ └── 40-Standalone │ │ │ ├── 40-Factorial │ │ │ ├── Main.dcs │ │ │ └── Main.stdout.check │ │ │ └── 41-Normalise │ │ │ ├── Main.dcs │ │ │ └── Main.stdout.check │ ├── 03-Discus │ │ ├── 01-Primitive │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 10-Syntax │ │ │ ├── 10-Type │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 11-Data │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 20-Lambda │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 30-Let │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── 40-Module │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ ├── 11-Parser │ │ │ ├── 10-Errors │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 20-MixForall │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── T289-UnmatchedBraces │ │ │ │ ├── Main.dct │ │ │ │ └── Main.error.check │ │ ├── 12-Pretty │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 21-Kinding │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 22-Typing │ │ │ ├── 01-Names │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 02-Let │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 03-LetRegion │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 04-Case │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 10-Functions │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 11-Application │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 30-Data │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 31-Records │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 40-Module │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 80-Synth │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── T253-RedefinedTopBind │ │ │ │ ├── Main.dct │ │ │ │ └── Main.error.check │ │ ├── 23-Fragment │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 30-ToSalt │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ └── 50-Transform │ │ │ ├── 10-Anonymize │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ │ ├── 20-Beta │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ │ ├── 21-Eta │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ │ ├── 30-Snip │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ │ ├── 40-Lambdas │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ │ └── 70-FoldCase │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ ├── 04-Flow │ │ ├── 01-Primitive │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 10-Load │ │ │ ├── 10-Reduce │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── 20-Diamond │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ ├── 11-Typing │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 20-Prep │ │ │ ├── 10-Fold │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── 20-Eta │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ ├── 30-Scalar │ │ │ ├── 10-Reduce │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 11-Fill │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 20-Map │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 30-Pack │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 40-Reps │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 50-Indices │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 60-Generate │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── 70-Append │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ ├── 31-Kernel │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 32-Vector │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 50-Wind │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 60-Melt │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 70-Thread │ │ │ ├── Test.dcx │ │ │ └── Test.stdout.check │ │ ├── 80-Rate │ │ │ ├── 10-Fold │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 11-Generate │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 20-Normalise │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 30-Map2 │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 40-Multirate │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 50-Filter │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 60-MinManifest │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 80-Gather │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ ├── 91-Weird │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── 99-Lower │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ ├── 90-ToTetra-skip │ │ │ ├── 10-Simple │ │ │ │ ├── Test.dcx │ │ │ │ └── Test.stdout.check │ │ │ └── 20-OutVector │ │ │ │ └── Main.dcf │ │ └── Broken-skip │ │ │ └── Test.dcx │ └── 05-Machine │ │ ├── 01-Primitive │ │ ├── Test.dcx │ │ └── Test.stdout.check │ │ ├── 02-MapCombinator │ │ ├── Test.dcx │ │ └── Test.stdout.check │ │ ├── 10-Prep │ │ ├── Test.dcx │ │ └── Test.stdout.check │ │ ├── 20-Slurp │ │ ├── Test.dcx │ │ └── Test.stdout.check │ │ └── 30-Fused │ │ ├── Test.dcx │ │ └── Test.stdout.check └── source │ ├── 01-Discus │ ├── 10-Parser │ │ ├── Test.dsx │ │ └── Test.stdout.check │ ├── 20-Defix │ │ ├── Test.dsx │ │ └── Test.stdout.check │ ├── 21-Guards │ │ ├── 01-InexhBindGuards │ │ │ ├── Main.ds │ │ │ └── Main.runerror.check │ │ ├── 02-InexhAltGuards │ │ │ ├── Main.ds │ │ │ └── Main.runerror.check │ │ └── 03-CombinedAnon │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ ├── 30-Data │ │ ├── 10-Simple │ │ │ ├── Test.dsx │ │ │ └── Test.stdout.check │ │ ├── 21-NameClash │ │ │ └── Main.ds │ │ └── 30-Vector │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ ├── 40-Infer │ │ ├── 01-Simple │ │ │ ├── Test.dsx │ │ │ └── Test.stdout.check │ │ ├── 02-Loop │ │ │ ├── Main.ds │ │ │ └── Main.error.check │ │ ├── 10-ListPoly │ │ │ └── Main.ds │ │ ├── 20-MetaVar │ │ │ ├── Main.ds │ │ │ └── Main.error.check │ │ └── T419-ExplicitDictionaries │ │ │ └── Test.ds │ ├── 41-Modules │ │ └── 01-ExportFun │ │ │ ├── Main.ds │ │ │ ├── Main.stdout.check │ │ │ └── Module.ds │ ├── 50-ToCore │ │ ├── Test.dsx │ │ └── Test.stdout.check │ ├── 60-ToSalt │ │ ├── Test.dsx │ │ └── Test.stdout.check │ ├── 61-ToLLVM │ │ └── T412-DoubleBackslash │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ ├── 62-Lambdas │ │ ├── 01-BoxRun │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 02-AppOver │ │ │ └── Main.ds │ │ ├── 03-AppUnder │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 04-AppMono │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 05-DataPAP │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 06-SuperShadow │ │ │ ├── Main.ds │ │ │ └── Main.stdout.check │ │ ├── 07-BoxRunDelayed │ │ │ └── Main.stdout.check │ │ ├── 08-BoxRunArg │ │ │ ├── Main.ds │ │ │ ├── Main.stdout.check │ │ │ └── Things.ds │ │ ├── 10-Lists │ │ │ └── Main.ds │ │ ├── 20-Arity │ │ │ └── Main.ds │ │ ├── 30-LiftLetRec │ │ │ └── Main.ds │ │ └── 31-ParamAnnot │ │ │ └── Main.ds │ ├── 80-Runtime │ │ └── 01-Collect │ │ │ └── Main.ds │ ├── 90-Ghc │ │ └── 01-TypeCheck │ │ │ ├── 001-where │ │ │ └── Test.ds │ │ │ ├── 002-if │ │ │ └── Test.ds │ │ │ ├── 003-tuple-mod │ │ │ └── Test.ds │ │ │ ├── 004-if-x │ │ │ └── Test.ds │ │ │ ├── 005-patterns-mod │ │ │ └── Test.ds │ │ │ ├── 006-infinite │ │ │ └── Test.ds │ │ │ ├── 007-cons │ │ │ └── Test.ds │ │ │ ├── 008-bool │ │ │ └── Test.ds │ │ │ ├── 009-tuple-mod │ │ │ └── Test.ds │ │ │ ├── 018-where │ │ │ └── Test.ds │ │ │ └── 020-where-broken-skip │ │ │ └── Test.ds │ └── Broken-skip │ │ ├── Test.dcx │ │ └── Test.dsx │ └── 02-base │ ├── 01-Data │ └── 01-Text │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 02-Codec │ └── 01-Json │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 03-System │ ├── 01-IO │ │ ├── Main.ds │ │ ├── Main.stdout.check │ │ ├── test-cr.txt │ │ ├── test-nonewline.txt │ │ └── test-simple.txt │ ├── 02-Reflect │ │ ├── Color.ds │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 03-Info │ │ ├── Main.ds │ │ └── Main.stdout.check │ └── 04-Hash │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 04-Control │ └── 01-Exception │ │ ├── 01-Error │ │ ├── Main.ds │ │ └── Main.stdout.check │ │ ├── 02-TryCatch │ │ ├── Main.ds │ │ └── Main.stdout.check │ │ ├── 03-TryNested │ │ ├── Main.ds │ │ └── Main.stdout.check │ │ └── 04-HandlerThrows │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 05-Debug │ └── 01-Trace │ │ ├── Main.ds │ │ └── Main.stdout.check │ └── 06-Math │ └── 01-Sha256 │ └── Main.ds ├── ddc-spec ├── Readme.md ├── error │ └── 01-ErrorExp │ │ ├── 01-ExportUndefined │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 02-ExportDuplicate │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 03-ExportMismatch │ │ ├── Main.dcs │ │ └── Main.error.check │ │ ├── 04-ImportDuplicate │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 05-ImportCapNotEffect │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 06-ImportCapNotData │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 07-UndefinedVar │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 08-UndefinedCtor │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 10-AppNotFun │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 11-AppCannotInferPoly │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 12-AbsShadow │ │ ├── Main.dct │ │ └── Main.error.check │ │ ├── 13-AbsParamUnannotated │ │ └── Test.dct │ │ ├── 14-AbsNotPure │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 15-AbsBindBadKind │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 20-RecRebound │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 21-RecMissingAnnot │ │ ├── Main.dcs │ │ └── Main.error.check │ │ ├── 22-RecNotLambda │ │ ├── Main.dcs │ │ └── Main.error.check │ │ ├── 23-PrivateNotRegion │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 24-PrivateRebound │ │ ├── Main.dcs │ │ └── Main.error.check │ │ ├── 25-PrivateEscape │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 26-PrivateWitnessInvalid │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 27-PrivateWitnessConflict │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 28-PrivateWitnessOther │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 40-CaseNotAlgebraic │ │ ├── Test.ds │ │ └── Test.error.check │ │ ├── 41-CaseNoAlternatives │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 42-CaseNonExhaustive │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 43-CaseNonExhaustiveLarge │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 44-CaseOverlapping │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 45-CaseTooManyBinders │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 46-CaseFieldTypeMismatch │ │ ├── Main.dct │ │ └── Main.error.check │ │ ├── 50-RunNotSusp │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 51-RunNotSupported │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 52-RunCannotInfer │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 53-ProjectCannot │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 54-ProjectNoField │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 55-ProjectTooManyCtors │ │ ├── Main.ds │ │ └── Main.error.check │ │ ├── 56-ProjectTooManyArgs │ │ ├── Main.ds │ │ └── Main.error.check │ │ └── Readme.md └── source │ └── 01-Tetra │ └── 01-Syntax │ ├── 01-Module │ ├── 01-Export │ │ ├── 01-Simple │ │ │ └── Test.ds │ │ ├── 02-Multiple │ │ │ └── Test.ds │ │ └── 03-Many │ │ │ └── Test.ds │ └── 02-Import │ │ ├── 01-Simple │ │ ├── ImportMe.ds │ │ └── Test.ds │ │ ├── 02-Multiple │ │ └── Test.ds │ │ └── 03-Foreign │ │ ├── Main.ds │ │ └── Main.stdout.check │ ├── 02-Decl │ ├── Main.ds │ └── Main.stdout.check │ ├── 03-Types │ └── Main.ds │ ├── 04-Guards │ ├── Main.ds │ └── Main.stdout.check │ ├── 05-Term │ └── Main.ds │ ├── 06-Abs │ ├── Main.ds │ └── Main.stdout.check │ ├── 07-Binding │ ├── Main.ds │ └── Main.stdout.check │ ├── 08-Matching │ └── Main.ds │ └── 09-Effects │ └── Main.ds ├── smr-regress ├── 01-Simple │ └── Main.smr └── 02-Combinate │ └── Main.smr └── unit └── 1-CoreLLVM ├── Main.hs └── Main.stdout.check /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/.gitignore -------------------------------------------------------------------------------- /.mailmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/.mailmap -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/Makefile -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/Readme.md -------------------------------------------------------------------------------- /bin/.README: -------------------------------------------------------------------------------- 1 | The build system creates executable files in this directory. 2 | -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201011.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201011.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201111.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201111.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201211.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201211.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201304.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201304.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201404.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201404.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201605.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201605.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/Disciple-201611.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/Disciple-201611.tex -------------------------------------------------------------------------------- /doc/announce/HCAR/hcar.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/announce/HCAR/hcar.sty -------------------------------------------------------------------------------- /doc/notes/ddc/design/Collections.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/Collections.txt -------------------------------------------------------------------------------- /doc/notes/ddc/design/Curring.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/Curring.txt -------------------------------------------------------------------------------- /doc/notes/ddc/design/Documentation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/Documentation.txt -------------------------------------------------------------------------------- /doc/notes/ddc/design/ExistentialRegions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/ExistentialRegions.txt -------------------------------------------------------------------------------- /doc/notes/ddc/design/Quantifiers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/Quantifiers.txt -------------------------------------------------------------------------------- /doc/notes/ddc/design/Shimmer.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/Shimmer.txt -------------------------------------------------------------------------------- /doc/notes/ddc/design/Tuples.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/design/Tuples.txt -------------------------------------------------------------------------------- /doc/notes/ddc/plan/Bootstrap.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/notes/ddc/plan/Bootstrap.txt -------------------------------------------------------------------------------- /doc/sphinx/discus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/Makefile -------------------------------------------------------------------------------- /doc/sphinx/discus/source/_static/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/sphinx/discus/source/_templates/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/sphinx/discus/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/conf.py -------------------------------------------------------------------------------- /doc/sphinx/discus/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/index.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/logo/discus-512x512.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/logo/discus-512x512.jpg -------------------------------------------------------------------------------- /doc/sphinx/discus/source/release/ddc-0.3.1.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/release/ddc-0.3.1.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/release/ddc-0.3.2.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/release/ddc-0.3.2.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/release/ddc-0.4.1.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/release/ddc-0.4.1.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/release/ddc-0.4.2.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/release/ddc-0.4.2.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/release/ddc-0.4.3.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/release/ddc-0.4.3.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/release/ddc-0.5.1.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/release/ddc-0.5.1.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/section/01-GettingStarted.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/section/01-GettingStarted.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/section/02-Specification.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/section/02-Specification.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/section/03-Release.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/section/03-Release.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/specification/01-Source.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/specification/01-Source.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/specification/02-Core.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/specification/02-Core.rst -------------------------------------------------------------------------------- /doc/sphinx/discus/source/theme/static/haiku-mod.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/theme/static/haiku-mod.css -------------------------------------------------------------------------------- /doc/sphinx/discus/source/theme/theme.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/discus/source/theme/theme.conf -------------------------------------------------------------------------------- /doc/sphinx/shimmer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/Makefile -------------------------------------------------------------------------------- /doc/sphinx/shimmer/build/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/_static/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/_templates/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/conf.py -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/index.rst -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/section/01-definition.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/section/01-definition.rst -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/section/02-primitives.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/section/02-primitives.rst -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/section/03-examples.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/section/03-examples.rst -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/section/examples/00-Intro.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/section/examples/00-Intro.smr -------------------------------------------------------------------------------- /doc/sphinx/shimmer/source/section/examples/01-Lambda.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/sphinx/shimmer/source/section/examples/01-Lambda.smr -------------------------------------------------------------------------------- /doc/syntax/Disciple/Disciple Core.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/syntax/Disciple/Disciple Core.tmLanguage -------------------------------------------------------------------------------- /doc/syntax/Disciple/Disciple Tetra.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/syntax/Disciple/Disciple Tetra.tmLanguage -------------------------------------------------------------------------------- /doc/syntax/Haskell/Comments.tmPreferences: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/syntax/Haskell/Comments.tmPreferences -------------------------------------------------------------------------------- /doc/syntax/Haskell/Haskell.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/syntax/Haskell/Haskell.tmLanguage -------------------------------------------------------------------------------- /doc/syntax/Inky.tmTheme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/syntax/Inky.tmTheme -------------------------------------------------------------------------------- /doc/syntax/Shimmer/Shimmer.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/doc/syntax/Shimmer/Shimmer.tmLanguage -------------------------------------------------------------------------------- /make/build.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/build.mk -------------------------------------------------------------------------------- /make/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/config.mk -------------------------------------------------------------------------------- /make/config/flavour.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/config/flavour.mk -------------------------------------------------------------------------------- /make/config/goop/getArch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/config/goop/getArch.sh -------------------------------------------------------------------------------- /make/config/options.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/config/options.mk -------------------------------------------------------------------------------- /make/config/target.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/config/target.mk -------------------------------------------------------------------------------- /make/deps/.README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/deps/.README -------------------------------------------------------------------------------- /make/rules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/rules.mk -------------------------------------------------------------------------------- /make/targets/bin-ddc-main.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/bin-ddc-main.mk -------------------------------------------------------------------------------- /make/targets/bin-ddci-core.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/bin-ddci-core.mk -------------------------------------------------------------------------------- /make/targets/bin-ddci-tetra.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/bin-ddci-tetra.mk -------------------------------------------------------------------------------- /make/targets/bin-smr.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/bin-smr.mk -------------------------------------------------------------------------------- /make/targets/clean.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/clean.mk -------------------------------------------------------------------------------- /make/targets/docs.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/docs.mk -------------------------------------------------------------------------------- /make/targets/libs.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/libs.mk -------------------------------------------------------------------------------- /make/targets/packages.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/packages.mk -------------------------------------------------------------------------------- /make/targets/runtime.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/runtime.mk -------------------------------------------------------------------------------- /make/targets/setup.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/setup.mk -------------------------------------------------------------------------------- /make/targets/tarball.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/tarball.mk -------------------------------------------------------------------------------- /make/targets/war.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/make/targets/war.mk -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/BuilderPPC32Linux.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/BuilderPPC32Linux.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/BuilderX8632Darwin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/BuilderX8632Darwin.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/BuilderX8632Linux.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/BuilderX8632Linux.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/BuilderX8664Darwin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/BuilderX8664Darwin.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/BuilderX8664Linux.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/BuilderX8664Linux.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Builder/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Builder/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language/Discus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language/Discus.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language/Flow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language/Flow.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language/Machine.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language/Salt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language/Salt.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Language/Zero.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Language/Zero.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Pipeline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Pipeline.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Pipeline/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Pipeline/Core.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Pipeline/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Pipeline/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Pipeline/Sink.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Pipeline/Sink.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Pipeline/Text.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Pipeline/Text.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Platform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Platform.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Platform/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Platform/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Platform/Determine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Platform/Determine.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Platform/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Platform/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Spec.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Spec/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Spec/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Spec/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Spec/Check.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Spec/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Spec/Parser.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Stage/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Stage/Core.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Stage/Core/Discus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Stage/Core/Discus.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Stage/Core/Salt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Stage/Core/Salt.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/DDC/Build/Stage/Source/Discus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/DDC/Build/Stage/Source/Discus.hs -------------------------------------------------------------------------------- /src/s1/ddc-build/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-build/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-build/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Check.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Compounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Compounds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Boxing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Boxing.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Data.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Layout.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Layout.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpArith.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpArith.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpCast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpCast.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpError.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpError.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpFun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpFun.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpInfo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpInfo.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpVector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/OpVector.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Prim/TyConPrim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Prim/TyConPrim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/DDC/Core/Discus/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/DDC/Core/Discus/Profile.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-discus/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-core-discus/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Compounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Compounds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Context.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Context/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Context/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Context/FillPath.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Context/FillPath.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Convert.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Exp/Simple/Collect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Exp/Simple/Collect.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Exp/Simple/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Exp/Simple/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Lower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Lower.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/DaConFlow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/DaConFlow.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/DaConPrim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/DaConPrim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/KiConFlow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/KiConFlow.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpConcrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpConcrete.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpControl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpControl.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpPrim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpPrim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpSeries.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpSeries.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpStore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpStore.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpVector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/OpVector.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/TyConFlow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/TyConFlow.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Prim/TyConPrim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Prim/TyConPrim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Procedure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Procedure.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Process.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Process.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Process/Operator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Process/Operator.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Process/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Process/Pretty.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Process/Process.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Process/Process.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Profile.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Annotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Annotate.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Extract.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Extract.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Forward.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Forward.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Melt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Melt.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Schedule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Schedule.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Slurp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Slurp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Thread.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Thread.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Wind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Wind.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-flow/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-core-flow/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Context.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Exp/Atom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Exp/Atom.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Exp/Case.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Exp/Case.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Super.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Super.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Metadata/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Metadata/Graph.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Metadata/Tbaa.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Metadata/Tbaa.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Core/Llvm/Runtime.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Core/Llvm/Runtime.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Analysis/Children.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Analysis/Children.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Analysis/Defs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Analysis/Defs.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Analysis/Parents.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Analysis/Parents.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Graph.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Attr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Attr.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Function.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Instr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Instr.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Metadata.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Module.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/NFData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/NFData.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Prim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Syntax/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Transform/Calls.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Transform/Calls.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Transform/Flatten.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Transform/Flatten.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Transform/Simpl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Transform/Simpl.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Attr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Attr.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Function.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Instr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Instr.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Metadata.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Module.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Prim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/DDC/Llvm/Write/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/DDC/Llvm/Write/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-llvm/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-core-llvm/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine/Prim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine/Process.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine/Process.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine/Process/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine/Process/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine/Process/Fuse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine/Process/Fuse.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/DDC/Core/Machine/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/DDC/Core/Machine/Profile.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-machine/README.md -------------------------------------------------------------------------------- /src/s1/ddc-core-machine/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Analysis/Primitive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Analysis/Primitive.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Compounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Compounds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Compounds/Lit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Compounds/Lit.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Compounds/PrimCast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Compounds/PrimCast.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimArith.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimArith.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimCast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimCast.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimControl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimControl.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimStore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimStore.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimTyCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimTyCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimVec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Name/PrimVec.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Platform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Platform.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Profile.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Runtime.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Runtime.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Transform/Slotify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Transform/Slotify.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/DDC/Core/Salt/Transform/Transfer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/DDC/Core/Salt/Transform/Transfer.hs -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core-salt/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-core-salt/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Control/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Control/Check.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Control/CheckIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Control/CheckIO.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Control/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Control/Parser.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Analysis/Arity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Analysis/Arity.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Analysis/Usage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Analysis/Usage.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Call.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Call.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Close.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Close.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Config.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context/Apply.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context/Apply.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context/Effect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context/Effect.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context/Elem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context/Elem.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context/Mode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context/Mode.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Context/Resolve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Context/Resolve.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error/ErrorData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error/ErrorData.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error/ErrorDataMessage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error/ErrorDataMessage.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error/ErrorExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error/ErrorExp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error/ErrorExpMessage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error/ErrorExpMessage.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error/ErrorType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error/ErrorType.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Error/ErrorTypeMessage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Error/ErrorTypeMessage.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/DataDefs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/DataDefs.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/EqT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/EqT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Inst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Inst.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Kind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Kind.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Kind/TyCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Kind/TyCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Module.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Module/Binds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Module/Binds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Module/Exports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Module/Exports.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Module/Imports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Module/Imports.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Sub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Sub.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/AppT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/AppT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/AppX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/AppX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Case.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Case.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Cast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Cast.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/DaCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/DaCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/LamT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/LamT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/LamX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/LamX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Let.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Let.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/LetPrivate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/LetPrivate.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Prim.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Sub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Sub.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/VarCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/VarCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Type/Witness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Type/Witness.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Judge/Witness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Judge/Witness.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/Post.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/Post.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Check/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Check/State.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Shimmer/Decode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Shimmer/Decode.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Shimmer/Encode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Shimmer/Encode.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Shimmer/Hash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Shimmer/Hash.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Lexer.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Offside.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Offside.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Token/Index.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Token/Index.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Token/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Token/Names.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Tokens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Tokens.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Unicode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Lexer/Unicode.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Context.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/DataDef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/DataDef.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/ExportSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/ExportSpec.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/ImportSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/ImportSpec.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Module.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Param.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Param.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Witness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Witness.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Pretty.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Codec/Text/Pretty/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Codec/Text/Pretty/Type.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Collect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Collect.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Collect/BindStruct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Collect/BindStruct.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Collect/FreeT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Collect/FreeT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Collect/FreeX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Collect/FreeX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Collect/Support.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Collect/Support.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Env/EnvT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Env/EnvT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Env/EnvX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Env/EnvX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/AnT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/AnT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/AnTEC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/AnTEC.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/Compounds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/Context.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/Ctx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/Ctx.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/NFData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/NFData.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/Predicates.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/Predicates.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Annot/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Annot/Pretty.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/DaCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/DaCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Generic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Generic.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Generic/BindStruct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Generic/BindStruct.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Generic/Compounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Generic/Compounds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Generic/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Generic/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Generic/Predicates.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Generic/Predicates.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Generic/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Generic/Pretty.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Literal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Literal.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/Simple.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Exp/WiCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Exp/WiCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Fragment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Fragment.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Fragment/Compliance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Fragment/Compliance.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Fragment/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Fragment/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Fragment/Feature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Fragment/Feature.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Fragment/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Fragment/Profile.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Interface/Oracle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Interface/Oracle.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Interface/Store.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Interface/Store.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Interface/Store/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Interface/Store/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Interface/Store/Construct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Interface/Store/Construct.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Interface/Store/Fetch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Interface/Store/Fetch.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Interface/Store/Resolve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Interface/Store/Resolve.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Load.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Load.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Module.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Module/Export.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Module/Export.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Module/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Module/Import.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Module/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Module/Name.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier/Apply.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier/Apply.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier/Lexer.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier/Parser.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier/Recipe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier/Recipe.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Simplifier/Result.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Simplifier/Result.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/AnonymizeX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/AnonymizeX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Beta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Beta.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/BoundT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/BoundT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/BoundX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/BoundX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Boxing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Boxing.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Bubble.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Bubble.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Elaborate.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Eta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Eta.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Expliciate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Expliciate.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Expose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Expose.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Flatten.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Flatten.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/FoldCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/FoldCase.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Forward.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Forward.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Inline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Inline.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Inline/Templates.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Inline/Templates.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Lambdas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Lambdas.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Lambdas/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Lambdas/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Lambdas/Lift.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Lambdas/Lift.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/MapT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/MapT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Namify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Namify.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Prune.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Prune.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Reannotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Reannotate.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rename.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rename.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Resolve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Resolve.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Resolve/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Resolve/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Resolve/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Resolve/Build.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Resolve/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Resolve/Context.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite/Disjoint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite/Disjoint.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite/Error.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite/Match.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite/Match.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite/Parser.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Rewrite/Rule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Rewrite/Rule.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Snip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Snip.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/SubstituteTX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/SubstituteTX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/SubstituteWX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/SubstituteWX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/SubstituteXX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/SubstituteXX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Thread.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Thread.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/TransformDownX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/TransformDownX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/TransformModX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/TransformModX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/TransformUpX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/TransformUpX.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Core/Transform/Unshare.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Core/Transform/Unshare.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Canned.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Canned.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Label.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Label.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/ListUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/ListUtils.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Name.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Pretty.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/PrettyPrint.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/SourcePos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/SourcePos.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Textual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Textual.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Data/Write.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Data/Write.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Bind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Bind.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/DataDef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/DataDef.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple/Compounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple/Compounds.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple/Equiv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple/Equiv.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple/NFData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple/NFData.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple/Predicates.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple/Predicates.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/Simple/Subsumes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/Simple/Subsumes.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Exp/TyCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Exp/TyCon.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Sum.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/Alpha.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/Alpha.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/AnonymizeT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/AnonymizeT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/BoundT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/BoundT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/Instantiate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/Instantiate.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/Rename.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/Rename.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/SubstituteT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/SubstituteT.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Transform/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Transform/Unify.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Type/Universe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Type/Universe.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/DDC/Version.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/DDC/Version.hs -------------------------------------------------------------------------------- /src/s1/ddc-core/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-core/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-core/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Build.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Build/Query.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Build/Query.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Build/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Build/Run.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Build/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Build/State.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Build/Taste.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Build/Taste.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/BaseBuild.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/BaseBuild.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Build.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Check.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Compile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Compile.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Concretize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Concretize.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Lower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Lower.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Melt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Melt.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Prep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Prep.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Rate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Rate.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Thread.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Thread.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/ToTetra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/ToTetra.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Flow/Wind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Flow/Wind.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/LSP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/LSP.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Load.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Load.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Machine/Prep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Machine/Prep.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Machine/Slurp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Machine/Slurp.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Parse.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Read.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Read.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/RewriteRules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/RewriteRules.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Scan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Scan.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/ToLlvm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/ToLlvm.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/ToSalt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/ToSalt.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Command/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Command/Trans.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Config.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Dump.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Dump.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Interface/Input.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Interface/Input.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Interface/Load.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Interface/Load.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Interface/Locate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Interface/Locate.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Interface/Source.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Interface/Source.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Interface/Status.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Interface/Status.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Data.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Data/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Data/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Pack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Pack.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Parse.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Unpack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/LSP/Protocol/Unpack.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Output.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Output.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Stage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Stage.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Stage/Flow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Stage/Flow.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Stage/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Stage/Machine.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Stage/Salt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Stage/Salt.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/DDC/Driver/Stage/Tetra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/DDC/Driver/Stage/Tetra.hs -------------------------------------------------------------------------------- /src/s1/ddc-driver/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-driver/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-driver/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Convert.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Env.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Exp/Bind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Exp/Bind.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Lexer.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Module.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Parser.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Parser/Exp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Parser/Exp.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/DDC/Source/Discus/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/DDC/Source/Discus/Pretty.hs -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-source-discus/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-source-discus/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/s1/ddc-tools/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-tools/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/Setup.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-check/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-check/Config.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-check/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-check/Main.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-main/DDC/Main/Args.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-main/DDC/Main/Args.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-main/DDC/Main/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-main/DDC/Main/Config.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-main/DDC/Main/Help.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-main/DDC/Main/Help.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-main/DDC/Main/OptLevels.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-main/DDC/Main/OptLevels.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-main/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-main/Main.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Config.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Create.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Create.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Create/CreateDC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Create/CreateDC.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Create/CreateDCX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Create/CreateDCX.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Create/CreateDSX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Create/CreateDSX.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Create/Way.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Create/Way.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Driver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Driver.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Driver/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Driver/Base.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Driver/Chain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Driver/Chain.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Driver/Gang.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Driver/Gang.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Interface/VT100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Interface/VT100.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/CompileDC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/CompileDC.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/CompileDS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/CompileDS.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/CompileHS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/CompileHS.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/Diff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/Diff.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/RunDCX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/RunDCX.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/RunDSX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/RunDSX.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/RunExe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/RunExe.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Job/Shell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Job/Shell.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Option.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Option.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Task/Nightly.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Task/Nightly.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/DDC/War/Task/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/DDC/War/Task/Test.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/LICENSE -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddc-war/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddc-war/Main.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command/Help.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command/Help.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command/Set.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command/With.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Command/With.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Input.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Input.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Mode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Mode.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Output.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Output.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/Rewrite.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/DDCI/Core/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/DDCI/Core/State.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-core/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-core/Main.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Command.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Command.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Input.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Input.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Mode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Mode.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Output.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/Output.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-tetra/DDCI/Tetra/State.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/ddci-tetra/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/ddci-tetra/Main.hs -------------------------------------------------------------------------------- /src/s1/ddc-tools/src/hp-sort/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s1/ddc-tools/src/hp-sort/Main.hs -------------------------------------------------------------------------------- /src/s2/base/Class/Applicative.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Applicative.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Bits.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Bits.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Category.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Category.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Eq.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Eq.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Functor.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Functor.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Monad.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Monad.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Numeric.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Numeric.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Ord.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Ord.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Parse.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Parse.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Pretty.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Pretty.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Profunctor.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Profunctor.ds -------------------------------------------------------------------------------- /src/s2/base/Class/Show.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Class/Show.ds -------------------------------------------------------------------------------- /src/s2/base/Codec/Json.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Codec/Json.ds -------------------------------------------------------------------------------- /src/s2/base/Codec/Json/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Codec/Json/Base.ds -------------------------------------------------------------------------------- /src/s2/base/Codec/Json/Parser.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Codec/Json/Parser.ds -------------------------------------------------------------------------------- /src/s2/base/Codec/Json/Pretty.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Codec/Json/Pretty.ds -------------------------------------------------------------------------------- /src/s2/base/Codec/Json/State.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Codec/Json/State.ds -------------------------------------------------------------------------------- /src/s2/base/Control/Exception.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Control/Exception.ds -------------------------------------------------------------------------------- /src/s2/base/Control/Parsec.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Control/Parsec.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Array.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Array.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Array/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Array/Base.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Array/Bulk.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Array/Bulk.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Array/Fun.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Array/Fun.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Array/Store.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Array/Store.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Bag.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Bag.ds -------------------------------------------------------------------------------- /src/s2/base/Data/CompactRegion.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/CompactRegion.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Either.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Either.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Function.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Function.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Lens.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Lens.ds -------------------------------------------------------------------------------- /src/s2/base/Data/List.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/List.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Map.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Map.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Map/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Map/Base.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Map/Fun.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Map/Fun.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Map/Tree.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Map/Tree.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Maybe.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Maybe.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Addr.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Addr.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Bool.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Bool.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Float32.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Float32.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Float64.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Float64.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Int.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Int.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Nat.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Nat.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Word16.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Word16.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Word32.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Word32.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Word64.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Word64.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Numeric/Word8.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Numeric/Word8.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Ref.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Ref.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Stream.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Stream.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Base.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Char.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Char.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Escape.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Escape.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/List.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/List.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Location.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Location.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Numeric.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Numeric.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Operator.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Operator.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Parse.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Parse.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Show.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Show.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Text/Stream.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Text/Stream.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Tuple.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Tuple.ds -------------------------------------------------------------------------------- /src/s2/base/Data/Vector.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Data/Vector.ds -------------------------------------------------------------------------------- /src/s2/base/Debug/Trace.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Debug/Trace.ds -------------------------------------------------------------------------------- /src/s2/base/Main/Args.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Main/Args.ds -------------------------------------------------------------------------------- /src/s2/base/Math/Combinations.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Math/Combinations.ds -------------------------------------------------------------------------------- /src/s2/base/Math/Crypto/Sha256.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Math/Crypto/Sha256.ds -------------------------------------------------------------------------------- /src/s2/base/Math/Vec3.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Math/Vec3.ds -------------------------------------------------------------------------------- /src/s2/base/Prelude/Data.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Prelude/Data.ds -------------------------------------------------------------------------------- /src/s2/base/Prelude/Numeric.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/Prelude/Numeric.ds -------------------------------------------------------------------------------- /src/s2/base/System/Env.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Env.ds -------------------------------------------------------------------------------- /src/s2/base/System/IO/Console.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/IO/Console.ds -------------------------------------------------------------------------------- /src/s2/base/System/IO/File.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/IO/File.ds -------------------------------------------------------------------------------- /src/s2/base/System/Posix/Errno.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Posix/Errno.ds -------------------------------------------------------------------------------- /src/s2/base/System/Posix/Stdio.ds: -------------------------------------------------------------------------------- 1 | 2 | module System.Posix.Stdio 3 | where 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /src/s2/base/System/Posix/Stdlib.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Posix/Stdlib.ds -------------------------------------------------------------------------------- /src/s2/base/System/Posix/Unistd.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Posix/Unistd.ds -------------------------------------------------------------------------------- /src/s2/base/System/Runtime.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Runtime.ds -------------------------------------------------------------------------------- /src/s2/base/System/Runtime/Info.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Runtime/Info.ds -------------------------------------------------------------------------------- /src/s2/base/System/Runtime/Reflect.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/System/Runtime/Reflect.ds -------------------------------------------------------------------------------- /src/s2/base/base.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/base/base.build -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Codec/SExp/Lexer.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Codec/SExp/Lexer.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Codec/SExp/Lexer/Token.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Codec/SExp/Lexer/Token.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Codec/SExp/Parser.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Codec/SExp/Parser.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Codec/SExp/Parser/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Codec/SExp/Parser/Base.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Codec/SExp/Pretty.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Codec/SExp/Pretty.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Codec/SExp/Pretty/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Codec/SExp/Pretty/Base.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/DDC/Core/Exp.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/DDC/Core/Exp.ds -------------------------------------------------------------------------------- /src/s2/ddc-core/Main.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-core/Main.ds -------------------------------------------------------------------------------- /src/s2/ddc-runtime/build/.README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/build/.README -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime/Alloc.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime/Alloc.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime/Collect.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime/Collect.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime/Hash.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime/Hash.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime/Hook.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime/Hook.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime/Init.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime/Init.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime/Stats.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime/Stats.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/Apply.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/Apply.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/Info.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/Info.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/Object.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/Object.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/debug/Check.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/debug/Check.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/debug/Trace.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/debug/Trace.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/primitive/Array.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/primitive/Array.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/primitive/CRegion.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/primitive/CRegion.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/primitive/Env.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/primitive/Env.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/primitive/Ref.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/primitive/Ref.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/salt/runtime64/primitive/Text.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/salt/runtime64/primitive/Text.dcs -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/Runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/Runtime.h -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/primitive/File.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/primitive/File.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/Collect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/Collect.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/Collect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/Collect.h -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/Hook.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/Hook.h -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/Primitive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/Primitive.h -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/Stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/Stats.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/Types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/Types.h -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Console.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Console.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Errno.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Error.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Exception.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Exception.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/File.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/File.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Parse.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Sha256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Sha256.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Show.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Show.c -------------------------------------------------------------------------------- /src/s2/ddc-runtime/sea/runtime/primitive/Text.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/ddc-runtime/sea/runtime/primitive/Text.c -------------------------------------------------------------------------------- /src/s2/smr-core/lib/Church.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/lib/Church.smr -------------------------------------------------------------------------------- /src/s2/smr-core/lib/Comb.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/lib/Comb.smr -------------------------------------------------------------------------------- /src/s2/smr-core/lib/List.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/lib/List.smr -------------------------------------------------------------------------------- /src/s2/smr-core/lib/Nat.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/lib/Nat.smr -------------------------------------------------------------------------------- /src/s2/smr-core/src/Main.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/Main.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp/Base.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp/Compounds.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp/Compounds.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp/Eq.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp/Eq.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp/Push.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp/Push.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp/Show.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp/Show.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Exp/Train.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Exp/Train.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Step.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Step.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Core/Step/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Core/Step/Base.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Name.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Name.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/Base.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/Base.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/Bool.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/Bool.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/Comb.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/Comb.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/List.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/List.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/Match.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/Match.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/Nat.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/Nat.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Prim/Op/Smr.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Prim/Op/Smr.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Repl/Args.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Repl/Args.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Repl/Command/Load.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Repl/Command/Load.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Repl/Error.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Repl/Error.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Source/Config.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Source/Config.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Source/Expected.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Source/Expected.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Source/Lexer.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Source/Lexer.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Source/Parser.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Source/Parser.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Source/Pretty.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Source/Pretty.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Source/Token.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Source/Token.ds -------------------------------------------------------------------------------- /src/s2/smr-core/src/SMR/Transform/Combinate.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/s2/smr-core/src/SMR/Transform/Combinate.ds -------------------------------------------------------------------------------- /src/sx/data-graphics-svg/Data/Graphics/SVG/Tiny.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/src/sx/data-graphics-svg/Data/Graphics/SVG/Tiny.ds -------------------------------------------------------------------------------- /test/ddc-broken/99-skip/01-Records/Main.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-broken/99-skip/01-Records/Main.ds -------------------------------------------------------------------------------- /test/ddc-broken/99-skip/01-Records/Main.stdout.check: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-broken/99-skip/01-Records/Main.stdout.check -------------------------------------------------------------------------------- /test/ddc-broken/99-skip/04-CRTableMax/Main.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-broken/99-skip/04-CRTableMax/Main.dcs -------------------------------------------------------------------------------- /test/ddc-broken/99-skip/10-LLVM-phi/Test.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-broken/99-skip/10-LLVM-phi/Test.ds -------------------------------------------------------------------------------- /test/ddc-broken/99-skip/20-Effect-local/Test.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-broken/99-skip/20-Effect-local/Test.ds -------------------------------------------------------------------------------- /test/ddc-broken/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-broken/Readme.md -------------------------------------------------------------------------------- /test/ddc-demo/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/Readme.md -------------------------------------------------------------------------------- /test/ddc-demo/core/Discus/00-Hello/Main.dct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Discus/00-Hello/Main.dct -------------------------------------------------------------------------------- /test/ddc-demo/core/Discus/00-Hello/Main.stdout.check: -------------------------------------------------------------------------------- 1 | Hello World 2 | -------------------------------------------------------------------------------- /test/ddc-demo/core/Discus/01-Factorial/Main.dct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Discus/01-Factorial/Main.dct -------------------------------------------------------------------------------- /test/ddc-demo/core/Discus/01-Factorial/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/ddc-demo/core/Discus/02-Lists/Main.dct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Discus/02-Lists/Main.dct -------------------------------------------------------------------------------- /test/ddc-demo/core/Discus/02-Lists/Main.stdout.check: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Discus/02-Lists/Main.stdout.check -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/00-Hello/Main.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Salt/00-Hello/Main.dcs -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/00-Hello/Main.stdout.check: -------------------------------------------------------------------------------- 1 | Hello World 2 | -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/01-Factorial/Main.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Salt/01-Factorial/Main.dcs -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/02-Boxing/Main.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Salt/02-Boxing/Main.dcs -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/02-Boxing/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 3628800 2 | -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/03-CRHello/Main.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/core/Salt/03-CRHello/Main.dcs -------------------------------------------------------------------------------- /test/ddc-demo/core/Salt/03-CRHello/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 3628800 -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/00-Hello/Main.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/source/Discus/00-Hello/Main.ds -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/01-Exp3_8/Main.stdout.check: -------------------------------------------------------------------------------- 1 | exp 3 6 = 729 2 | -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/02-Backpatch/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 120 2 | -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/03-Primes/01-Array/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 7919 2 | -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/04-Life/Cell.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/source/Discus/10-Defib/04-Life/Cell.ds -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/04-Life/Main.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/source/Discus/10-Defib/04-Life/Main.ds -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/04-Life/World.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/source/Discus/10-Defib/04-Life/World.ds -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/10-Defib/05-SKI/Main.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-demo/source/Discus/10-Defib/05-SKI/Main.ds -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/20-Types/01-Freezing/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 101 2 | -------------------------------------------------------------------------------- /test/ddc-demo/source/Discus/30-Library/01-Data/04-Stream/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /test/ddc-regress/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/Readme.md -------------------------------------------------------------------------------- /test/ddc-regress/core/01-ddci-core/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/01-ddci-core/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/01-ddci-core/Test.stdout.check: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/01-ddci-core/Test.stdout.check -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/10-Primitive/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/02-Salt/10-Primitive/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/13-Offside/Test.dcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/02-Salt/13-Offside/Test.dcs -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/23-Fragment/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/02-Salt/23-Fragment/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/32-ToLLVM/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/02-Salt/32-ToLLVM/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/33-ToLLVM-MD/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/02-Salt/33-ToLLVM-MD/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/40-Standalone/40-Factorial/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 3628800 2 | -------------------------------------------------------------------------------- /test/ddc-regress/core/02-Salt/40-Standalone/41-Normalise/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 3628800 2 | -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/01-Primitive/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/03-Discus/01-Primitive/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/12-Pretty/Test.dcx: -------------------------------------------------------------------------------- 1 | :set lang Tetra 2 | -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/12-Pretty/Test.stdout.check: -------------------------------------------------------------------------------- 1 | ok 2 | -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/21-Kinding/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/03-Discus/21-Kinding/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/23-Fragment/Test.dcx: -------------------------------------------------------------------------------- 1 | :set lang Tetra 2 | 3 | -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/23-Fragment/Test.stdout.check: -------------------------------------------------------------------------------- 1 | ok 2 | 3 | -------------------------------------------------------------------------------- /test/ddc-regress/core/03-Discus/30-ToSalt/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/03-Discus/30-ToSalt/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/01-Primitive/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/01-Primitive/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/11-Typing/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/11-Typing/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/20-Prep/20-Eta/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/20-Prep/20-Eta/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/31-Kernel/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/31-Kernel/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/32-Vector/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/32-Vector/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/50-Wind/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/50-Wind/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/60-Melt/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/60-Melt/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/70-Thread/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/70-Thread/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/04-Flow/Broken-skip/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/04-Flow/Broken-skip/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/05-Machine/10-Prep/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/05-Machine/10-Prep/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/05-Machine/20-Slurp/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/05-Machine/20-Slurp/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/core/05-Machine/30-Fused/Test.dcx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/core/05-Machine/30-Fused/Test.dcx -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/10-Parser/Test.dsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/source/01-Discus/10-Parser/Test.dsx -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/20-Defix/Test.dsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/source/01-Discus/20-Defix/Test.dsx -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/21-Guards/03-CombinedAnon/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/30-Data/30-Vector/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 27 2 | 4 3 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/41-Modules/01-ExportFun/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 5 2 | 5 3 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/50-ToCore/Test.dsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/source/01-Discus/50-ToCore/Test.dsx -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/60-ToSalt/Test.dsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-regress/source/01-Discus/60-ToSalt/Test.dsx -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/62-Lambdas/03-AppUnder/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/62-Lambdas/04-AppMono/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/62-Lambdas/05-DataPAP/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 11 2 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/62-Lambdas/06-SuperShadow/Main.stdout.check: -------------------------------------------------------------------------------- 1 | 5 2 | 8 3 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/90-Ghc/01-TypeCheck/002-if/Test.ds: -------------------------------------------------------------------------------- 1 | module Test 2 | import Data.Numeric 3 | where 4 | 5 | b = if True then 1 else 2 6 | 7 | -------------------------------------------------------------------------------- /test/ddc-regress/source/01-Discus/90-Ghc/01-TypeCheck/006-infinite/Test.ds: -------------------------------------------------------------------------------- 1 | module Test 2 | import Prelude.Data 3 | where 4 | 5 | h = Cons 1 h 6 | -------------------------------------------------------------------------------- /test/ddc-regress/source/02-base/04-Control/01-Exception/01-Error/Main.stdout.check: -------------------------------------------------------------------------------- 1 | *** Error: so sorry 2 | -------------------------------------------------------------------------------- /test/ddc-regress/source/02-base/04-Control/01-Exception/02-TryCatch/Main.stdout.check: -------------------------------------------------------------------------------- 1 | failed as not likely 2 | -------------------------------------------------------------------------------- /test/ddc-regress/source/02-base/04-Control/01-Exception/04-HandlerThrows/Main.stdout.check: -------------------------------------------------------------------------------- 1 | *** Error: it's still broken 2 | -------------------------------------------------------------------------------- /test/ddc-spec/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-spec/Readme.md -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/07-UndefinedVar/Test.ds: -------------------------------------------------------------------------------- 1 | 2 | module Test where 3 | 4 | f x = y 5 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/08-UndefinedCtor/Test.ds: -------------------------------------------------------------------------------- 1 | 2 | module Test where 3 | 4 | foo = Bar 5 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/10-AppNotFun/Test.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-spec/error/01-ErrorExp/10-AppNotFun/Test.ds -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/11-AppCannotInferPoly/Test.ds: -------------------------------------------------------------------------------- 1 | 2 | module Test where 3 | 4 | -- Cannot infer polymorphic type of 'g'. 5 | f g x = g {@Nat} x -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/12-AbsShadow/Main.dct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-spec/error/01-ErrorExp/12-AbsShadow/Main.dct -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/20-RecRebound/Test.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-spec/error/01-ErrorExp/20-RecRebound/Test.ds -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/22-RecNotLambda/Main.dcs: -------------------------------------------------------------------------------- 1 | 2 | module Main with letrec 3 | 4 | f = 5# -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/24-PrivateRebound/Main.dcs: -------------------------------------------------------------------------------- 1 | 2 | module Test with letrec 3 | 4 | foo [r: Region] (x: Unit) 5 | = private r in () 6 | 7 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/25-PrivateEscape/Main.ds: -------------------------------------------------------------------------------- 1 | 2 | module Main 3 | import Data.Ref 4 | where 5 | 6 | 7 | foo = private r in allocRef {@r} 5 8 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/26-PrivateWitnessInvalid/Main.ds: -------------------------------------------------------------------------------- 1 | 2 | module Main where 3 | 4 | foo = private r with {Nat#} in () 5 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/41-CaseNoAlternatives/Main.ds: -------------------------------------------------------------------------------- 1 | 2 | module Main where 3 | 4 | foo = case 4 of {} 5 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/50-RunNotSusp/Main.ds: -------------------------------------------------------------------------------- 1 | 2 | module Main where 3 | 4 | foo (x: Nat#) 5 | = run x 6 | 7 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/52-RunCannotInfer/Main.ds: -------------------------------------------------------------------------------- 1 | 2 | module Main where 3 | 4 | foo x = run x 5 | -------------------------------------------------------------------------------- /test/ddc-spec/error/01-ErrorExp/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/ddc-spec/error/01-ErrorExp/Readme.md -------------------------------------------------------------------------------- /test/ddc-spec/source/01-Tetra/01-Syntax/01-Module/02-Import/03-Foreign/Main.stdout.check: -------------------------------------------------------------------------------- 1 | hello 2 | before 3 | after 4 | -------------------------------------------------------------------------------- /test/smr-regress/01-Simple/Main.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/smr-regress/01-Simple/Main.smr -------------------------------------------------------------------------------- /test/smr-regress/02-Combinate/Main.smr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/smr-regress/02-Combinate/Main.smr -------------------------------------------------------------------------------- /test/unit/1-CoreLLVM/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/unit/1-CoreLLVM/Main.hs -------------------------------------------------------------------------------- /test/unit/1-CoreLLVM/Main.stdout.check: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/discus-lang/ddc/HEAD/test/unit/1-CoreLLVM/Main.stdout.check --------------------------------------------------------------------------------